Package org.checkerframework.checker.tainting

package org.checkerframework.checker.tainting

Related Packages

Package	Description
org.checkerframework.checker.tainting.qual

Classes

Class	Description
TaintingAnnotatedTypeFactory	Annotated type factory for the Tainting Checker.
TaintingChecker	A type-checker plug-in for the Tainting type system qualifier that finds (and verifies the absence of) trust bugs.
TaintingVisitor	Visitor for the TaintingChecker.