Annotation Type Tainted


Denotes a possibly-tainted value: at run time, the value might be tainted or might be untainted.
See Also:
  • Untainted
  • invalid reference
    org.checkerframework.checker.tainting.TaintingChecker