Package checkers.tainting

Class Summary
Class Description
TaintingAnnotatedTypeFactory Adds implicit and default Untainted annotation, only if the user does not explicitly insert them.
TaintingChecker A type-checker plug-in for the Tainting type system qualifier that finds (and verifies the absence of) trust bugs.