Package pascal.taie.analysis.pta.plugin.taint

package pascal.taie.analysis.pta.plugin.taint
  • Class
    Description
    CallSource
    Represents sources which generates taint objects at method calls.
    FieldSource
     
    IndexRef
     
    IndexRef.Kind
     
    ParamSanitizer
    Represents sanitizers which remove taint objects on method parameters.
    ParamSource
    Represents sources which generate taint objects on method parameters.
    Sanitizer
    Represents a sanitizer in taint analysis.
    Sink
    Represents a sink in taint analysis.
    Source
    Represents a source in taint analysis.
    TaintAnalysis
    Taint Analysis composites plugins SourceHandler, TransferHandler and SanitizerHandler to handle the logic associated with Source, TaintTransfer, and Sanitizer respectively.
    TaintConfig
    Configuration for taint analysis.
    TaintConfigProvider
    Provides a configuration for taint analysis.
    TaintFlow
    Each instance represents a taint flow from source to sink.
    TaintTransfer
    Represents taint transfer between argument/base/return variables caused by invocation to specific method.