Name | Description | Type | Package | Framework |
PolyTainted | Class | org.checkerframework.checker.experimental.tainting_qual.qual | Checker | |
Tainted | Class | org.checkerframework.checker.experimental.tainting_qual.qual | Checker | |
Untainted | Class | org.checkerframework.checker.experimental.tainting_qual.qual | Checker | |