| Interface | Description |
|---|---|
| JvmValueBamCpaRun.TransferRelationFactory |
| 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. |