The concept behind taint checking is that any variable that can be modified by an outside user (for example a variable set by a field in a web form) poses a potential security risk.
Taint checking may be viewed as a conservative approximation of the full verification of non-interference or the more general concept of secure information flow [REF].