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

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • proguard.analysis.cpa.jvm.domain.memory.BamLocationDependentJvmMemoryLocation<AbstractStateT> (implements proguard.analysis.cpa.bam.BamLocationDependent<CfaNodeT,CfaEdgeT,AbstractStateT,SignatureT>, proguard.analysis.cpa.interfaces.ProgramLocationDependent<CfaNodeT,CfaEdgeT,SignatureT>)
  • proguard.analysis.cpa.defaults.CpaRun<CpaT,AbstractStateT>
    • 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.memory.JvmMemoryLocationAbstractState<AbstractStateT> (implements proguard.analysis.cpa.bam.BamLocationDependent<CfaNodeT,CfaEdgeT,AbstractStateT,SignatureT>, proguard.analysis.cpa.defaults.LatticeAbstractState<AbstractStateT>, proguard.analysis.cpa.interfaces.ProgramLocationDependent<CfaNodeT,CfaEdgeT,SignatureT>)
  • proguard.analysis.cpa.jvm.domain.memory.JvmMemoryLocationAbstractState.StackEntry
  • proguard.analysis.cpa.jvm.domain.memory.JvmMemoryLocationMergeJoinOperator (implements proguard.analysis.cpa.interfaces.MergeOperator)
  • proguard.analysis.cpa.jvm.domain.memory.JvmMemoryLocationTransferRelation<AbstractStateT> (implements proguard.analysis.cpa.interfaces.TransferRelation)
  • proguard.analysis.cpa.defaults.SimpleCpa (implements proguard.analysis.cpa.interfaces.ConfigurableProgramAnalysis)
    • proguard.analysis.cpa.jvm.domain.memory.JvmMemoryLocationCpa<AbstractStateT>

Interface Hierarchy

• proguard.analysis.cpa.jvm.domain.memory.TraceExtractor