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

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • proguard.analysis.cpa.defaults.BamCpaRun.Builder
    • proguard.analysis.cpa.jvm.util.JvmBamCpaRun.Builder
      • proguard.analysis.cpa.jvm.domain.taint.JvmTaintBamCpaRun.Builder
  • 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)
        • proguard.analysis.cpa.jvm.domain.taint.JvmTaintMemoryLocationBamCpaRun
  • proguard.analysis.cpa.jvm.state.JvmAbstractState<StateT> (implements proguard.analysis.cpa.defaults.LatticeAbstractState<AbstractStateT>, proguard.analysis.cpa.interfaces.ProgramLocationDependent<CfaNodeT,CfaEdgeT,SignatureT>)
    • proguard.analysis.cpa.jvm.domain.taint.JvmTaintAbstractState
  • 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.operators.JvmDefaultReduceOperator<StateT> (implements proguard.analysis.cpa.jvm.state.JvmAbstractStateFactory<StateT>, proguard.analysis.cpa.bam.ReduceOperator<CfaNodeT,CfaEdgeT,SignatureT>)
    • proguard.analysis.cpa.jvm.domain.taint.JvmTaintReduceOperator
  • proguard.analysis.cpa.jvm.domain.taint.JvmInvokeTaintSink.Builder
  • proguard.analysis.cpa.jvm.domain.taint.JvmTaintMemoryLocationBamCpaRun.Builder
  • proguard.analysis.cpa.jvm.transfer.JvmTransferRelation<StateT> (implements proguard.analysis.cpa.interfaces.ProgramLocationDependentForwardTransferRelation<CfaNodeT,CfaEdgeT,SignatureT>)
    • proguard.analysis.cpa.jvm.domain.taint.JvmTaintTransferRelation
  • proguard.analysis.cpa.jvm.transfer.JvmTransferRelation.InstructionAbstractInterpreter (implements proguard.classfile.instruction.visitor.InstructionVisitor)
    • proguard.analysis.cpa.jvm.domain.taint.JvmTaintTransferRelation.InstructionAbstractInterpreter
  • proguard.analysis.cpa.jvm.state.heap.tree.JvmTreeHeapAbstractState<StateT> (implements proguard.analysis.cpa.jvm.state.heap.JvmHeapAbstractState<StateT>)
    • proguard.analysis.cpa.jvm.state.heap.tree.JvmTreeHeapFollowerAbstractState<StateT>
      • proguard.analysis.cpa.jvm.domain.taint.JvmBasicTaintTreeHeapFollowerAbstractState (implements proguard.analysis.cpa.jvm.domain.taint.JvmTaintHeapAbstractState)
      • proguard.analysis.cpa.jvm.domain.taint.JvmTaintTreeHeapFollowerAbstractState (implements proguard.analysis.cpa.jvm.domain.taint.JvmTaintHeapAbstractState)
  • 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
      • proguard.analysis.cpa.jvm.domain.taint.JvmInvokeTaintSink
      • proguard.analysis.cpa.jvm.domain.taint.JvmReturnTaintSink
  • proguard.analysis.cpa.domain.taint.TaintSource
    • proguard.analysis.cpa.jvm.domain.taint.JvmTaintSource

Interface Hierarchy

• proguard.analysis.cpa.jvm.domain.taint.JvmTaintHeapAbstractState
• proguard.analysis.cpa.jvm.domain.taint.JvmTaintTransformer