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

Interface Summary

Interface	Description
TraceExtractor<AbstractStateT extends LatticeAbstractState<AbstractStateT>>	This interfaces containts helper methods for CpaRuns producing witness traces.

Class Summary

Class	Description
JvmMemoryLocationAbstractState	This AbstractState consists of a memory location with a set of sources contributed into its value.
JvmMemoryLocationBamCpaRun<CpaT extends ConfigurableProgramAnalysis,AbstractStateT extends LatticeAbstractState<AbstractStateT>>	This abstract analyzer runs the JvmMemoryLocationCpa and returns the ReachedSet.
JvmMemoryLocationCpa<AbstractStateT extends LatticeAbstractState<AbstractStateT>>	The JvmMemoryLocationCpa backtraces memory locations.
JvmMemoryLocationMergeJoinOperator	This MergeOperator applies the join operator to its arguments sharing the same memory location.
JvmMemoryLocationTransferRelation<AbstractStateT extends LatticeAbstractState<AbstractStateT>>	The JvmMemoryLocationTransferRelation computes the backward successors of an JvmMemoryLocationAbstractState for a given instruction.