Added programs using WALA/Soot

[soba/JavaAnalysisToolsDemo.git] / JavaAnalysisToolsDemo / src / demo / wala / SlicerMain.java

diff --git a/JavaAnalysisToolsDemo/src/demo/wala/SlicerMain.java b/JavaAnalysisToolsDemo/src/demo/wala/SlicerMain.java
index 398cf74..aabcad3 100644 (file)
--- a/JavaAnalysisToolsDemo/src/demo/wala/SlicerMain.java
+++ b/JavaAnalysisToolsDemo/src/demo/wala/SlicerMain.java
@@ -1,19 +1,15 @@
 package demo.wala;\r
 \r
-import java.io.File;\r
 import java.io.IOException;\r
 import java.util.Collection;\r
 import java.util.Iterator;\r
 \r
 import com.ibm.wala.classLoader.ShrikeBTMethod;\r
-import com.ibm.wala.core.tests.callGraph.CallGraphTestUtil;\r
 import com.ibm.wala.ipa.callgraph.AnalysisCache;\r
 import com.ibm.wala.ipa.callgraph.AnalysisOptions;\r
 import com.ibm.wala.ipa.callgraph.AnalysisScope;\r
 import com.ibm.wala.ipa.callgraph.CGNode;\r
 import com.ibm.wala.ipa.callgraph.CallGraph;\r
-import com.ibm.wala.ipa.callgraph.CallGraphBuilder;\r
-import com.ibm.wala.ipa.callgraph.CallGraphBuilderCancelException;\r
 import com.ibm.wala.ipa.callgraph.Entrypoint;\r
 import com.ibm.wala.ipa.callgraph.impl.Util;\r
 import com.ibm.wala.ipa.callgraph.propagation.PointerAnalysis;\r
@@ -28,8 +24,11 @@ import com.ibm.wala.util.CancelException;
 import com.ibm.wala.util.WalaException;\r
 import com.ibm.wala.util.config.AnalysisScopeReader;\r
 import com.ibm.wala.util.debug.Assertions;\r
+import com.ibm.wala.util.io.FileProvider;\r
 import com.ibm.wala.util.strings.Atom;\r
 \r
+import demo.util.DemoUtil;\r
+\r
 public class SlicerMain {\r
 \r
        public static void main(String[] args) {\r
@@ -46,7 +45,9 @@ public class SlicerMain {
                // create an analysis scope representing the appJar as a J2SE application\r
 //             AnalysisScope scope = AnalysisScopeReader.makeJavaBinaryAnalysisScope(appJar,CallGraphTestUtil.REGRESSION_EXCLUSIONS);\r
 //             AnalysisScope scope = AnalysisScopeReader.makeJavaBinaryAnalysisScope(appJar, null);\r
-               AnalysisScope scope = AnalysisScopeReader.makeJavaBinaryAnalysisScope(appJar,new File(CallGraphTestUtil.REGRESSION_EXCLUSIONS));\r
+//             AnalysisScope scope = AnalysisScopeReader.makeJavaBinaryAnalysisScope(appJar,new File(CallGraphTestUtil.REGRESSION_EXCLUSIONS));\r
+               AnalysisScope scope = AnalysisScopeReader.makeJavaBinaryAnalysisScope(appJar, (new FileProvider()).getFile(DemoUtil.REGRESSION_EXCLUSIONS));\r
+\r
                ClassHierarchy cha = ClassHierarchy.make(scope);\r
 \r
                Iterable<Entrypoint> entrypoints = com.ibm.wala.ipa.callgraph.impl.Util.makeMainEntrypoints(scope, cha);\r