Search Java Classes and Packages
#Org.checkerframework.checker.tainting Classes and Interfaces - 25 results found.
| Name | Description | Type | Package | Framework |
| ClassTaintingParam | ClassTaintingParam declares a tainting qualifier parameter on a class. | Class | org.checkerframework.checker.tainting.qual | Checker |
| MethodTaintingParam | MethodTaintingParam declares a qualifier parameter on a method. | Class | org.checkerframework.checker.tainting.qual | Checker |
| MultiClassTaintingParam | Class | org.checkerframework.checker.tainting.qual | Checker | |
| MultiMethodTaintingParam | Class | org.checkerframework.checker.tainting.qual | Checker | |
| MultiPolyTainted | Class | org.checkerframework.checker.tainting.qual | Checker | |
| MultiTainted | Class | org.checkerframework.checker.tainting.qual | Checker | |
| MultiUntainted | Class | org.checkerframework.checker.tainting.qual | Checker | |
| MultiVar | Class | org.checkerframework.checker.tainting.qual | Checker | |
| MultiWild | Class | org.checkerframework.checker.tainting.qual | Checker | |
| PolyTainted | Class | org.checkerframework.checker.tainting.classic.qual | Checker | |
| PolyTainted | Class | org.checkerframework.checker.tainting.qual | Checker | |
| Tainted | Class | org.checkerframework.checker.tainting.classic.qual | Checker | |
| Tainted | Tainted is the annotation to specify the tainted qualifier. | Class | org.checkerframework.checker.tainting.qual | Checker |
| Tainting | Class | org.checkerframework.checker.tainting | Checker | |
| TaintingAnnotationConverter | Class | org.checkerframework.checker.tainting | Checker | |
| TaintingChecker | Class | org.checkerframework.checker.tainting | 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 |
| TaintingQualChecker | Class | org.checkerframework.checker.tainting | Checker | |
| TaintingQualifiedTypeFactory | Class | org.checkerframework.checker.tainting | Checker | |
| TaintingQualifierHierarchy | Class | org.checkerframework.checker.tainting | Checker | |
| Untainted | Class | org.checkerframework.checker.tainting.classic.qual | Checker | |
| Untainted | Untainted is the annotation to specify the untainted qualifier. | Class | org.checkerframework.checker.tainting.qual | Checker |
| Var | Var is a qualifier parameter use. | Class | org.checkerframework.checker.tainting.qual | Checker |
| Wild | Wild is equivalent to the wildcard operator. | Class | org.checkerframework.checker.tainting.qual | Checker |