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

package proguard.analysis.cpa.jvm.domain.value

Classes

Class	Description
JvmCfaReferenceValueFactory	This ParticularReferenceValueFactory creates IdentifiedReferenceValue and ParticularReferenceValues using the creation site as the unique identifier.
JvmValueAbstractState
JvmValueTransferRelation	A JvmTransferRelation that tracks values.
ValueAbstractState	An AbstractState for tracking JVM values.
ValueExpandOperator	A DefaultExpandOperator that creates JvmValueAbstractStates.
ValueReduceOperator	A DefaultReduceOperator that creates JvmValueAbstractStates.