Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    

Uses of Class
soot.jimple.spark.ondemand.DemandCSPointsTo

Packages that use DemandCSPointsTo
soot.jimple.spark.ondemand   
 

Uses of DemandCSPointsTo in soot.jimple.spark.ondemand
 

Methods in soot.jimple.spark.ondemand that return DemandCSPointsTo
static DemandCSPointsTo DemandCSPointsTo.makeDefault()
          Make a default analysis.
static DemandCSPointsTo DemandCSPointsTo.makeDefault()
          Make a default analysis.
static DemandCSPointsTo DemandCSPointsTo.makeWithBudget(int maxTraversal, int maxPasses, boolean lazy)
           
static DemandCSPointsTo DemandCSPointsTo.makeWithBudget(int maxTraversal, int maxPasses, boolean lazy)
           
 

Constructors in soot.jimple.spark.ondemand with parameters of type DemandCSPointsTo
LazyContextSensitivePointsToSet(Local l, EqualsSupportingPointsToSet contextInsensitiveSet, DemandCSPointsTo demandCSPointsTo)
           
LazyContextSensitivePointsToSet(Local l, EqualsSupportingPointsToSet contextInsensitiveSet, DemandCSPointsTo demandCSPointsTo)
           
 

Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES