proguard.analysis.cpa.jvm.domain.memory

Interfaces

• TraceExtractor

Classes

• BamLocationDependentJvmMemoryLocation
• JvmMemoryLocationAbstractState
• JvmMemoryLocationAbstractState.StackEntry
• JvmMemoryLocationBamCpaRun
• JvmMemoryLocationCpa
• JvmMemoryLocationMergeJoinOperator
• JvmMemoryLocationTransferRelation