Class Hierarchy
- java.lang.Object
- proguard.analysis.cpa.jvm.domain.memory.BamLocationDependentJvmMemoryLocation<ContentT> (implements proguard.analysis.cpa.bam.BamLocationDependent<ContentT>, proguard.analysis.cpa.interfaces.ProgramLocationDependent)
- proguard.analysis.cpa.jvm.domain.memory.JvmMemoryLocationAbstractState<ContentT> (implements proguard.analysis.cpa.interfaces.AbstractState<StateT>, proguard.analysis.cpa.bam.BamLocationDependent<ContentT>, proguard.analysis.cpa.interfaces.ProgramLocationDependent)
- proguard.analysis.cpa.jvm.domain.memory.JvmMemoryLocationAbstractState.StackEntry<ContentT>
- proguard.analysis.cpa.jvm.domain.memory.JvmMemoryLocationMergeJoinOperator<ContentT> (implements proguard.analysis.cpa.interfaces.MergeOperator<StateT>)
- proguard.analysis.cpa.jvm.domain.memory.JvmMemoryLocationTransferRelation<ContentT> (implements proguard.analysis.cpa.interfaces.TransferRelation<StateT>)
- proguard.analysis.cpa.defaults.SimpleCpa<StateT> (implements proguard.analysis.cpa.interfaces.ConfigurableProgramAnalysis<StateT>)
- proguard.analysis.cpa.jvm.domain.memory.JvmMemoryLocationCpa<ContentT>
Interface Hierarchy
- proguard.analysis.cpa.jvm.domain.memory.TraceExtractor<ContentT>