DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

switch to more precise pointer analysis 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1032 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
sjfink 2007-05-01 03:09:15 +00:00
parent 82f285c616
commit 8185a52d72
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
com.ibm.wala.core.tests/src/com/ibm/wala/examples/drivers/GVSlice.java
View File

@ -153,7 +153,7 @@ public class GVSlice {
ClassHierarchy cha = ClassHierarchy.make(scope, warnings);
Entrypoints entrypoints = com.ibm.wala.ipa.callgraph.impl.Util.makeMainEntrypoints(scope, cha, mainClass);
AnalysisOptions options = CallGraphTestUtil.makeAnalysisOptions(scope, entrypoints);
CallGraphBuilder builder = Util.makeZeroOneCFABuilder(options, cha, scope, warnings);
CallGraphBuilder builder = Util.makeVanillaZeroOneContainerCFABuilder(options, cha, scope, warnings);
CallGraph cg = builder.makeCallGraph(options);
SDG sdg = new SDG(cg, builder.getPointerAnalysis(), dOptions, cOptions);