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

use a less aggressive pointer analysis 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1556 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
sjfink 2007-07-26 21:06:57 +00:00
parent d2dff82c1d
commit e194aed9b5
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

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