| Class | Description |
|---|---|
| CompositeHeapJvmAbstractState |
This
AbstractWrapperState stores a JvmReferenceAbstractState having the JvmTreeHeapPrincipalAbstractState and a sequence of
JvmAbstractStates which may have JvmTreeHeapFollowerAbstractStates depending on
the first abstract state. |
| CompositeHeapTransferRelation |
A wrapper class around multiple
JvmTransferRelations applying them elementwise to CompositeHeapJvmAbstractStates. |
| JvmCompositeHeapExpandOperator |
A wrapper class around multiple
ExpandOperators applying them elementwise to CompositeHeapJvmAbstractStates. |
| JvmCompositeHeapReduceOperator |
A wrapper class around multiple
ReduceOperators applying them elementwise to CompositeHeapJvmAbstractStates. |
| JvmReferenceAbstractState |
A
JvmAbstractState for the reference CPA. |
| JvmReferenceExpandOperator |
This expand operator behaves the same as the
JvmDefaultExpandOperator but operates on
JvmReferenceAbstractStates. |
| JvmReferenceReduceOperator |
This reduce operator behaves the same as the
JvmDefaultReduceOperator but operates on
JvmReferenceAbstractStates. |
| JvmReferenceTransferRelation |
This
JvmTransferRelation propagates reference values, destroys references upon arithmetic
operations, and creates fresh references for return values of intraprocedurally analyzed calls. |
| Reference |
A reference points at an object or an array at the heap.
|