| Interface | Description |
|---|---|
| Access | |
| HeapAccess |
Encapsulates properties of a node describing how it accesses the heap.
|
| MemoryAccess |
This interface marks nodes that access some memory location, and that have an edge to the last
node that kills this location.
|
| MemoryCheckpoint |
This interface marks subclasses of
FixedNode that kill a set of memory locations
represented by location identities (i.e. |
| MemoryCheckpoint.Multi | |
| MemoryCheckpoint.Single | |
| MemoryMap |
Maps a location to the last node that (potentially) wrote to the
location.
|
| MemoryNode |
This interface marks nodes that are part of the memory graph.
|
| Class | Description |
|---|---|
| AbstractMemoryCheckpoint |
Provides an implementation of
StateSplit. |
| AbstractWriteNode | |
| FixedAccessNode |
Accesses a value at an memory address specified by an address.
|
| FloatableAccessNode |
An
FixedAccessNode that can be converted to a FloatingAccessNode. |
| FloatingAccessNode | |
| FloatingReadNode |
A floating read of a value from memory specified in terms of an object base and an object
relative location.
|
| MemoryAnchorNode | |
| MemoryCheckpoint.TypeAssertion | |
| MemoryMapNode | |
| MemoryPhiNode |
Memory
PhiNodes merge memory dependencies at control flow merges. |
| ReadNode |
Reads an accessed value.
|
| WriteNode |
Writes a given value a memory location.
|
| Enum | Description |
|---|---|
| HeapAccess.BarrierType |
The types of (write/read) barriers attached to stores.
|