checkers.tainting.quals

Annotation Type Tainted

public @interface Tainted

The top qualifier of the tainting type system. This annotation is associated with the TaintingChecker.

See Also:

Untainted, TaintingChecker

See the Checker Framework manual:

Tainting Checker