Package org.checkerframework.checker.tainting
package org.checkerframework.checker.tainting
-
ClassDescriptionAnnotated type factory for the Tainting Checker.A type-checker plug-in for the Tainting type system qualifier that finds (and verifies the absence of) trust bugs.Visitor for the
TaintingChecker
.