|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use IWorklist | |
|---|---|
| soot.jimple.spark.geom.geomE | |
| soot.jimple.spark.geom.geomPA | |
| soot.jimple.spark.geom.heapinsE | |
| soot.jimple.spark.geom.ptinsE | |
| Uses of IWorklist in soot.jimple.spark.geom.geomE |
|---|
| Methods in soot.jimple.spark.geom.geomE with parameters of type IWorklist | |
|---|---|
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 IWorklist in soot.jimple.spark.geom.geomPA |
|---|
| Classes in soot.jimple.spark.geom.geomPA that implement IWorklist | |
|---|---|
class |
FIFO_Worklist
|
class |
PQ_Worklist
|
| Fields in soot.jimple.spark.geom.geomPA declared as IWorklist | |
|---|---|
protected IWorklist |
GeomPointsTo.worklist
|
protected IWorklist |
GeomPointsTo.worklist
|
| Methods in soot.jimple.spark.geom.geomPA that return IWorklist | |
|---|---|
IWorklist |
GeomPointsTo.getWorklist()
|
IWorklist |
GeomPointsTo.getWorklist()
|
| Methods in soot.jimple.spark.geom.geomPA with parameters of type IWorklist | |
|---|---|
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)
|
| Uses of IWorklist in soot.jimple.spark.geom.heapinsE |
|---|
| Methods in soot.jimple.spark.geom.heapinsE with parameters of type IWorklist | |
|---|---|
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 IWorklist in soot.jimple.spark.geom.ptinsE |
|---|
| Methods in soot.jimple.spark.geom.ptinsE with parameters of type IWorklist | |
|---|---|
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 | |||||||||