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

Class Summary

Class	Description
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.