checkers.tainting.quals
Annotation Type Untainted

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

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