Uses of Interface
soot.jimple.spark.geom.geomPA.IWorklist
-
Packages that use IWorklist Package Description 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 Modifier and Type Method Description voidFullSensitiveNode. 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 Modifier and Type Class Description classFIFO_WorklistImplementation of the worklist with FIFO strategy.classPQ_WorklistThe implementation of prioritized worklist.Fields in soot.jimple.spark.geom.geomPA declared as IWorklist Modifier and Type Field Description protected IWorklistGeomPointsTo. worklistMethods in soot.jimple.spark.geom.geomPA that return IWorklist Modifier and Type Method Description IWorklistGeomPointsTo. getWorklist()Methods in soot.jimple.spark.geom.geomPA with parameters of type IWorklist Modifier and Type Method Description voidDummyNode. propagate(GeomPointsTo ptAnalyzer, IWorklist worklist)abstract voidIVarAbstraction. 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 Modifier and Type Method Description voidHeapInsNode. 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 Modifier and Type Method Description voidPtInsNode. propagate(GeomPointsTo ptAnalyzer, IWorklist worklist)Deprecated.An efficient implementation of differential propagation.
-