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