Package proguard.analysis.cpa.jvm.domain.value

Class Summary

Class	Description
JvmCfaReferenceValueFactory	This ParticularReferenceValueFactory creates IdentifiedReferenceValue and ParticularReferenceValues using the creation site as the unique identifier.
JvmValueAbstractState
JvmValueExpandOperator	A JvmDefaultExpandOperator that creates JvmValueAbstractStates.
JvmValueReduceOperator	A JvmDefaultReduceOperator that creates JvmValueAbstractStates.
JvmValueTransferRelation	A JvmTransferRelation that tracks values.
ValueAbstractState	An AbstractState for tracking JVM values.