Hierarchy For Package proguard.analysis.cpa.jvm.domain.taint

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • proguard.analysis.cpa.defaults.CpaRun<CpaT,AbstractStateT>
    • proguard.analysis.cpa.defaults.BamCpaRun<CpaT,AbstractStateT,CfaNodeT,CfaEdgeT,SignatureT>
      • proguard.analysis.cpa.jvm.util.JvmBamCpaRun<CpaT,AbstractStateT,OuterAbstractStateT>
        • proguard.analysis.cpa.jvm.domain.taint.JvmTaintBamCpaRun<OuterAbstractStateT>
    • proguard.analysis.cpa.defaults.SequentialCpaRun<CpaT,AbstractStateT,InputCpaRunT>
      • proguard.analysis.cpa.jvm.domain.memory.JvmMemoryLocationBamCpaRun<CpaT,AbstractStateT> (implements proguard.analysis.cpa.jvm.domain.memory.TraceExtractor<AbstractStateT>)
        • proguard.analysis.cpa.jvm.domain.taint.JvmTaintMemoryLocationBamCpaRun
  • proguard.analysis.cpa.jvm.operators.JvmDefaultExpandOperator<StateT> (implements proguard.analysis.cpa.bam.ExpandOperator<CfaNodeT,CfaEdgeT,SignatureT>, proguard.analysis.cpa.jvm.state.JvmAbstractStateFactory<StateT>)
    • proguard.analysis.cpa.jvm.domain.taint.JvmTaintExpandOperator
  • proguard.analysis.cpa.jvm.transfer.JvmTransferRelation<StateT> (implements proguard.analysis.cpa.interfaces.ProgramLocationDependentTransferRelation<CfaNodeT,CfaEdgeT,SignatureT>)
    • proguard.analysis.cpa.jvm.domain.taint.JvmTaintTransferRelation
  • proguard.analysis.cpa.defaults.SimpleCpa (implements proguard.analysis.cpa.interfaces.ConfigurableProgramAnalysis)
    • proguard.analysis.cpa.jvm.domain.taint.JvmTaintCpa
  • proguard.analysis.cpa.domain.taint.TaintSink
    • proguard.analysis.cpa.jvm.domain.taint.JvmTaintSink