Uses of Class
soot.jimple.spark.geom.geomPA.GeomPointsTo

Packages that use GeomPointsTo

Package	Description
soot.jimple.spark.geom.dataMgr
soot.jimple.spark.geom.geomE
soot.jimple.spark.geom.geomPA
soot.jimple.spark.geom.heapinsE
soot.jimple.spark.geom.helper
soot.jimple.spark.geom.ptinsE

Uses of GeomPointsTo in soot.jimple.spark.geom.dataMgr

Fields in soot.jimple.spark.geom.dataMgr declared as GeomPointsTo

Modifier and Type	Field	Description
protected GeomPointsTo	PtSensVisitor.ptsProvider

Uses of GeomPointsTo in soot.jimple.spark.geom.geomE

Methods in soot.jimple.spark.geom.geomE with parameters of type GeomPointsTo

Modifier and Type	Method	Description
void	FullSensitiveNodeGenerator.initFlowGraph(GeomPointsTo ptAnalyzer)
void	FullSensitiveNode.propagate(GeomPointsTo ptAnalyzer, IWorklist worklist)	The place where you implement the pointer assignment reasoning.

Uses of GeomPointsTo in soot.jimple.spark.geom.geomPA

Fields in soot.jimple.spark.geom.geomPA declared as GeomPointsTo

Modifier and Type	Field	Description
protected GeomPointsTo	GeomQueries.geomPTA

Methods in soot.jimple.spark.geom.geomPA with parameters of type GeomPointsTo

Modifier and Type	Method	Description
abstract void	IEncodingBroker.initFlowGraph(GeomPointsTo ptAnalyzer)	Build the initial encoding of the pointer assignments and points-to facts.
void	DummyNode.propagate(GeomPointsTo ptAnalyzer, IWorklist worklist)
abstract void	IVarAbstraction.propagate(GeomPointsTo ptAnalyzer, IWorklist worklist)

Constructors in soot.jimple.spark.geom.geomPA with parameters of type GeomPointsTo

Constructor	Description
GeomQueries(GeomPointsTo geom_pta)	We copy and make a condensed version of call graph.
OfflineProcessor(GeomPointsTo pta)

Uses of GeomPointsTo in soot.jimple.spark.geom.heapinsE

Methods in soot.jimple.spark.geom.heapinsE with parameters of type GeomPointsTo

Modifier and Type	Method	Description
void	HeapInsNodeGenerator.initFlowGraph(GeomPointsTo ptAnalyzer)
void	HeapInsNode.propagate(GeomPointsTo ptAnalyzer, IWorklist worklist)	An efficient implementation of differential propagation.

Uses of GeomPointsTo in soot.jimple.spark.geom.helper

Constructors in soot.jimple.spark.geom.helper with parameters of type GeomPointsTo

Constructor	Description
GeomEvaluator(GeomPointsTo gpts, PrintStream ps)

Uses of GeomPointsTo in soot.jimple.spark.geom.ptinsE

Methods in soot.jimple.spark.geom.ptinsE with parameters of type GeomPointsTo

Modifier and Type	Method	Description
void	PtInsNodeGenerator.initFlowGraph(GeomPointsTo ptAnalyzer)
void	PtInsNode.propagate(GeomPointsTo ptAnalyzer, IWorklist worklist)	Deprecated. An efficient implementation of differential propagation.