|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |