| 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.
|