Package | Description |
---|---|
soot.jimple.spark.geom.geomE | |
soot.jimple.spark.geom.geomPA | |
soot.jimple.spark.geom.heapinsE | |
soot.jimple.spark.geom.ptinsE |
Modifier and Type | Method and Description |
---|---|
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.
|
Modifier and Type | Class and Description |
---|---|
class |
FIFO_Worklist
Implementation of the worklist with FIFO strategy.
|
class |
PQ_Worklist
The implementation of prioritized worklist.
|
Modifier and Type | Field and Description |
---|---|
protected IWorklist |
GeomPointsTo.worklist |
protected IWorklist |
GeomPointsTo.worklist |
Modifier and Type | Method and Description |
---|---|
IWorklist |
GeomPointsTo.getWorklist() |
IWorklist |
GeomPointsTo.getWorklist() |
Modifier and Type | Method and Description |
---|---|
void |
DummyNode.propagate(GeomPointsTo ptAnalyzer,
IWorklist worklist) |
abstract void |
IVarAbstraction.propagate(GeomPointsTo ptAnalyzer,
IWorklist worklist) |
void |
DummyNode.propagate(GeomPointsTo ptAnalyzer,
IWorklist worklist) |
abstract void |
IVarAbstraction.propagate(GeomPointsTo ptAnalyzer,
IWorklist worklist) |
Modifier and Type | Method and Description |
---|---|
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.
|
Modifier and Type | Method and Description |
---|---|
void |
PtInsNode.propagate(GeomPointsTo ptAnalyzer,
IWorklist worklist)
Deprecated.
An efficient implementation of differential propagation.
|
void |
PtInsNode.propagate(GeomPointsTo ptAnalyzer,
IWorklist worklist)
Deprecated.
An efficient implementation of differential propagation.
|