Class | Description |
---|---|
TaintingAnnotatedTypeFactory |
Adds implicit and default
Untainted annotation, only if the user
does not explicitly insert them. |
TaintingChecker |
A type-checker plug-in for the Tainting type system qualifier that finds
(and verifies the absence of) trust bugs.
|