Package org.checkerframework.checker.tainting.qual

Annotation Types Summary

Annotation Type	Description
PolyTainted	A polymorphic qualifier for the Tainting type system.
Tainted	Denotes a possibly-tainted value: at run time, the value might be tainted or might be untainted.
Untainted	Denotes a reference that is untainted, i.e.