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

Interface Summary

Interface	Description
JvmValueBamCpaRun.TransferRelationFactory

Class Summary

Class	Description
JvmCfaReferenceValueFactory	This ParticularReferenceValueFactory creates IdentifiedReferenceValue and ParticularReferenceValues using the creation site as the unique identifier.
JvmValueAbstractState
JvmValueBamCpaRun	This run wraps the execution of BAM JVM Value Analysis CPA (see JvmValueAbstractState).
JvmValueBamCpaRun.Builder
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.