Package | Description |
---|---|
soot.jimple.spark.geom.heapinsE |
Class and 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.
|