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

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • proguard.analysis.cpa.jvm.operators.DefaultExpandOperator<ContentT> (implements proguard.analysis.cpa.bam.ExpandOperator<ContentT>)
    • proguard.analysis.cpa.jvm.domain.taint.TaintExpandOperator
  • proguard.analysis.cpa.jvm.operators.DefaultReduceOperator<ContentT> (implements proguard.analysis.cpa.bam.ReduceOperator<ContentT>)
    • proguard.analysis.cpa.jvm.domain.taint.TaintReduceOperator
  • proguard.analysis.cpa.jvm.domain.taint.JvmInvokeTaintSink.Builder
  • proguard.analysis.cpa.jvm.transfer.JvmTransferRelation<ContentT> (implements proguard.analysis.cpa.interfaces.ProgramLocationDependentForwardTransferRelation<ContentT>)
    • 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.defaults.SimpleCpa<StateT> (implements proguard.analysis.cpa.interfaces.ConfigurableProgramAnalysis<StateT>)
    • 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.JvmTaintTransformer