| Class | Description |
|---|---|
| HeapInsIntervalManager |
An abstraction for the management of all the heap insensitive encoding figures.
|
| HeapInsNode |
This class defines a pointer variable for use in the HeapIns encoding based points-to solver.
|
| HeapInsNodeGenerator |
Build the initial pointer assignment graph with the HeapIns encoding.
|