Next: Type Qualifiers.
Up: 6 Related Work
Previous: Lexical Techniques.
Our use of tainting, inspired by Perl's taint mode ,
bears some resemblance to a Biba integrity model 
and thus is distantly related to previous work on enforcing
information flow policies through typing
However, because we do not have to deal with maliciously constructed code,
we avoid the need to solve many of the most vexing challenges
(e.g., covert channels) in enforcing information flow policies.