Uses of Class
com.ibm.wala.demandpa.alg.DemandRefinementPointsTo

Packages that use DemandRefinementPointsTo

Package	Description
com.ibm.wala.demandpa.alg

Uses of DemandRefinementPointsTo in com.ibm.wala.demandpa.alg

Methods in com.ibm.wala.demandpa.alg that return DemandRefinementPointsTo

Modifier and Type	Method and Description
static DemandRefinementPointsTo	DemandRefinementPointsTo.makeWithDefaultFlowGraph(CallGraph cg, HeapModel model, MemoryAccessMap mam, IClassHierarchy cha, AnalysisOptions options, StateMachineFactory<IFlowLabel> stateMachineFactory) create a demand points-to analysis runner