Package soot.jimple.spark.geom.heapinsE

Class Summary

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.