Package org.checkerframework.checker.experimental.tainting_qual.qual

Annotation Types Summary

Annotation Type	Description
PolyTainted	A polymorphic qualifier for the Tainting type system.
Tainted	The top qualifier of the tainting type system.
Untainted	Denotes a reference that is untainted, i.e.