Package org.checkerframework.checker.tainting.qual

package org.checkerframework.checker.tainting.qual
  • Annotation Interfaces
    Class
    Description
    PolyTainted
    A polymorphic qualifier for the Tainting type system.
    Tainted
    Denotes a possibly-tainted value: at run time, the value might be tainted or might be untainted.
    Untainted
    Denotes a reference that is untainted, i.e.