Uses of Package
soot.jimple.spark.geom.geomPA
-
Classes in soot.jimple.spark.geom.geomPA used by soot.jimple.spark.geom.dataMgr Class Description GeomPointsTo The main interface for the points-to analysis with geometric encodings. -
Classes in soot.jimple.spark.geom.geomPA used by soot.jimple.spark.geom.dataRep Class Description IVarAbstraction Pointer/object representation in geomPTA. -
Classes in soot.jimple.spark.geom.geomPA used by soot.jimple.spark.geom.geomE Class Description GeomPointsTo The main interface for the points-to analysis with geometric encodings.IEncodingBroker An abstract class for hiding different encoding methods, e.g.IFigureManager An interface to standardize the functionality of a figure manager.IVarAbstraction Pointer/object representation in geomPTA.IWorklist The worklist interface that abstracts the selection strategy. -
Classes in soot.jimple.spark.geom.geomPA used by soot.jimple.spark.geom.geomPA Class Description GeomPointsTo The main interface for the points-to analysis with geometric encodings.IEncodingBroker An abstract class for hiding different encoding methods, e.g.IFigureManager An interface to standardize the functionality of a figure manager.IVarAbstraction Pointer/object representation in geomPTA.IWorklist The worklist interface that abstracts the selection strategy.OfflineProcessor Implementation of pre-processing algorithms performed prior to the pointer analysis. -
Classes in soot.jimple.spark.geom.geomPA used by soot.jimple.spark.geom.heapinsE Class Description GeomPointsTo The main interface for the points-to analysis with geometric encodings.IEncodingBroker An abstract class for hiding different encoding methods, e.g.IFigureManager An interface to standardize the functionality of a figure manager.IVarAbstraction Pointer/object representation in geomPTA.IWorklist The worklist interface that abstracts the selection strategy. -
Classes in soot.jimple.spark.geom.geomPA used by soot.jimple.spark.geom.helper Class Description GeomPointsTo The main interface for the points-to analysis with geometric encodings. -
Classes in soot.jimple.spark.geom.geomPA used by soot.jimple.spark.geom.ptinsE Class Description GeomPointsTo The main interface for the points-to analysis with geometric encodings.IEncodingBroker An abstract class for hiding different encoding methods, e.g.IFigureManager An interface to standardize the functionality of a figure manager.IVarAbstraction Pointer/object representation in geomPTA.IWorklist The worklist interface that abstracts the selection strategy.