Search Java Classes and Packages
#Org.checkerframework.checker.tainting.classic Classes and Interfaces - 5 results found.
| Name | Description | Type | Package | Framework |
| PolyTainted | Class | org.checkerframework.checker.tainting.classic.qual | Checker | |
| Tainted | Class | org.checkerframework.checker.tainting.classic.qual | Checker | |
| TaintingClassicAnnotatedTypeFactory | Class | org.checkerframework.checker.tainting.classic | Checker | |
| TaintingClassicChecker | A type-checker plug-in for the Tainting type system qualifier that finds (and verifies the absence of) trust bugs. | Class | org.checkerframework.checker.tainting.classic | Checker |
| Untainted | Class | org.checkerframework.checker.tainting.classic.qual | Checker | |