Uses of Interface
soot.jimple.spark.geom.geomPA.IWorklist

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.