Package proguard.analysis.cpa.jvm.domain.reference

Class Summary

Class	Description
CompositeHeapJvmAbstractState	This AbstractWrapperState stores a JvmReferenceAbstractState having the JvmTreeHeapPrincipalAbstractState and a sequence of JvmAbstractStates which may have JvmTreeHeapFollowerAbstractStates depending on the first abstract state.
CompositeHeapTransferRelation	A wrapper class around multiple JvmTransferRelations applying them elementwise to CompositeHeapJvmAbstractStates.
JvmCompositeHeapExpandOperator	A wrapper class around multiple ExpandOperators applying them elementwise to CompositeHeapJvmAbstractStates.
JvmCompositeHeapReduceOperator	A wrapper class around multiple ReduceOperators applying them elementwise to CompositeHeapJvmAbstractStates.
JvmReferenceAbstractState	A JvmAbstractState for the reference CPA.
JvmReferenceExpandOperator	This expand operator behaves the same as the JvmDefaultExpandOperator but operates on JvmReferenceAbstractStates.
JvmReferenceReduceOperator	This reduce operator behaves the same as the JvmDefaultReduceOperator but operates on JvmReferenceAbstractStates.
JvmReferenceTransferRelation	This JvmTransferRelation propagates reference values, destroys references upon arithmetic operations, and creates fresh references for return values of intraprocedurally analyzed calls.
Reference	A reference points at an object or an array at the heap.