Package soot.jimple.spark.geom.geomE

Class Summary

Class	Description
FullSensitiveNode	This class defines an abstract pointer in the geometric points-to solver.
FullSensitiveNodeGenerator	Build the initial encoding of the assignment graph in full geometric encoding.
GeometricManager	This class implements the figure manager.