Package org.checkerframework.checker.tainting.classic

Class Summary

Class	Description
TaintingClassicAnnotatedTypeFactory
TaintingClassicChecker	A type-checker plug-in for the Tainting type system qualifier that finds (and verifies the absence of) trust bugs.