Tainted Variable Value Control