Package proguard.analysis.cpa.domain.taint


package proguard.analysis.cpa.domain.taint
  • Class
    Description
    A TaintSink specifies a sink for the taint analysis.
    A TaintSource is a label carried by the taint abstract state.