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

Packages that use GeomPointsTo

soot.jimple.spark.geom.geomE
soot.jimple.spark.geom.geomPA
soot.jimple.spark.geom.heapinsE
soot.jimple.spark.geom.ptinsE

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

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

void	FullSensitiveNodeGenerator.initFlowGraph(GeomPointsTo ptAnalyzer)
void	FullSensitiveNodeGenerator.initFlowGraph(GeomPointsTo ptAnalyzer)
void	FullSensitiveNode.propagate(GeomPointsTo ptAnalyzer, IWorklist worklist) The place where you implement the pointer assignment reasoning.
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

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

static void	EvalHelper.debug_context_insensitive_points_to(Node vn, GeomPointsTo ptsProvider)
static void	EvalHelper.debug_context_insensitive_points_to(Node vn, GeomPointsTo ptsProvider)
static void	EvalHelper.debug_spark_pointsto(Node vn, GeomPointsTo ptsProvider)
static void	EvalHelper.debug_spark_pointsto(Node vn, GeomPointsTo ptsProvider)
static void	EvalHelper.debug_succint_pointsto_info(Node vn, GeomPointsTo ptsProvider)
static void	EvalHelper.debug_succint_pointsto_info(Node vn, GeomPointsTo ptsProvider)
static void	PointsToDumper.dump_context_insensitive_mapped_result(GeomPointsTo ptsProvider) Dump the context insensitive points-to result generated from the geometric analysis by throwing away the context information.
static void	PointsToDumper.dump_context_insensitive_mapped_result(GeomPointsTo ptsProvider) Dump the context insensitive points-to result generated from the geometric analysis by throwing away the context information.
static void	PointsToDumper.dump_pointer_1cfa_object_insensitive_mapped_result(GeomPointsTo ptsProvider) Dump the 1-CFA pointer context sensitive but object insensitive result.
static void	PointsToDumper.dump_pointer_1cfa_object_insensitive_mapped_result(GeomPointsTo ptsProvider) Dump the 1-CFA pointer context sensitive but object insensitive result.
static void	PointsToDumper.dump_pointer_insensitive_object_1cfa_mapped_result(GeomPointsTo ptsProvider) Dump the pointer insensitive but object 1-CFA context sensitive points-to result.
static void	PointsToDumper.dump_pointer_insensitive_object_1cfa_mapped_result(GeomPointsTo ptsProvider) Dump the pointer insensitive but object 1-CFA context sensitive points-to result.
static void	PointsToDumper.dump_pointer_object_1cfa_mapped_result(GeomPointsTo ptsProvider) Dump both the pointer and object 1-CFA context sensitive points-to result.
static void	PointsToDumper.dump_pointer_object_1cfa_mapped_result(GeomPointsTo ptsProvider) Dump both the pointer and object 1-CFA context sensitive points-to result.
static void	PointsToDumper.dump_spark_result(GeomPointsTo ptsProvider) Dump the points-to vector for each pointer stored in the SPARK pointer node.
static void	PointsToDumper.dump_spark_result(GeomPointsTo ptsProvider) Dump the points-to vector for each pointer stored in the SPARK pointer node.
abstract void	IEncodingBroker.initFlowGraph(GeomPointsTo ptAnalyzer) Build the initial encoding of the pointer assignments and points-to facts.
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)
abstract void	IVarAbstraction.propagate(GeomPointsTo ptAnalyzer, IWorklist worklist)
void	DummyNode.propagate(GeomPointsTo ptAnalyzer, IWorklist worklist)

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

GeomEvaluator(GeomPointsTo gpts, PrintStream ps)

GeomEvaluator(GeomPointsTo gpts, PrintStream ps)

OfflineProcessor(int size, GeomPointsTo pta)

OfflineProcessor(int size, GeomPointsTo pta)

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

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

void	HeapInsNodeGenerator.initFlowGraph(GeomPointsTo ptAnalyzer)
void	HeapInsNodeGenerator.initFlowGraph(GeomPointsTo ptAnalyzer)
void	HeapInsNode.propagate(GeomPointsTo ptAnalyzer, IWorklist worklist) An efficient implementation of differential propagation.
void	HeapInsNode.propagate(GeomPointsTo ptAnalyzer, IWorklist worklist) An efficient implementation of differential propagation.

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

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

void	PtInsNodeGenerator.initFlowGraph(GeomPointsTo ptAnalyzer)
void	PtInsNodeGenerator.initFlowGraph(GeomPointsTo ptAnalyzer)
void	PtInsNode.propagate(GeomPointsTo ptAnalyzer, IWorklist worklist) An efficient implementation of differential propagation.
void	PtInsNode.propagate(GeomPointsTo ptAnalyzer, IWorklist worklist) An efficient implementation of differential propagation.