checkers.tainting
Annotation Type Untainted


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

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