Top Annotations
[default module]

Package org.checkerframework.checker.tainting.qual


Annotation Summary

Modifier and TypeAnnotation and Description
public @interface
PolyTainted

A polymorphic qualifier for the Tainting type system.

public @interface
Tainted

Denotes a possibly-tainted value: at run time, the value might be tainted or might be untainted.

public @interface
Untainted

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