resurrect old API
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2790 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
parent
3754daf135
commit
0f1cffa6da
|
@ -92,6 +92,20 @@ public class CISlicer {
|
||||||
Collection<Statement> slice = DFS.getReachableNodes(depGraph, seeds);
|
Collection<Statement> slice = DFS.getReachableNodes(depGraph, seeds);
|
||||||
return slice;
|
return slice;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Compute the set of pointer keys each statement mods
|
||||||
|
*/
|
||||||
|
public static Map<Statement, Set<PointerKey>> scanForMod(SDG sdg, PointerAnalysis pa) {
|
||||||
|
return scanForMod(sdg, pa, false, ModRef.make());
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Compute the set of pointer keys each statement refs
|
||||||
|
*/
|
||||||
|
public static Map<Statement, Set<PointerKey>> scanForRef(SDG sdg, PointerAnalysis pa) {
|
||||||
|
return scanForRef(sdg, pa, ModRef.make());
|
||||||
|
}
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* Compute the set of pointer keys each statement mods
|
* Compute the set of pointer keys each statement mods
|
||||||
|
|
Loading…
Reference in New Issue