checkers.tainting.quals
Annotation Type Untainted


@TypeQualifier
@SubtypeOf(value=Tainted.class)
public @interface Untainted

Denotes a reference that is untainted, i.e. can be trusted.