parent
4aac703ee5
commit
077cabc4eb
|
@ -2,7 +2,7 @@
|
|||
<feature
|
||||
id="com.ibm.wala-feature"
|
||||
label="%featureName"
|
||||
version="1.3.8"
|
||||
version="1.3.8.qualifier"
|
||||
provider-name="%providerName">
|
||||
|
||||
<plugin
|
||||
|
|
|
@ -5,7 +5,7 @@
|
|||
<parent>
|
||||
<artifactId>WALA</artifactId>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
</parent>
|
||||
<artifactId>com.ibm.wala-feature</artifactId>
|
||||
<packaging>eclipse-feature</packaging>
|
||||
|
|
|
@ -5,7 +5,7 @@
|
|||
<parent>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<artifactId>WALA</artifactId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
</parent>
|
||||
<artifactId>com.ibm.wala-repository</artifactId>
|
||||
<packaging>eclipse-repository</packaging>
|
||||
|
|
|
@ -2,7 +2,7 @@ Manifest-Version: 1.0
|
|||
Bundle-ManifestVersion: 2
|
||||
Bundle-Name: WALA Cast Java Polyglot Test Plug-in
|
||||
Bundle-SymbolicName: com.ibm.wala.cast.java.polyglot.test
|
||||
Bundle-Version: 1.3.8
|
||||
Bundle-Version: 1.3.8.qualifier
|
||||
Bundle-Activator: com.ibm.wala.cast.java.polyglot.test.Activator
|
||||
Bundle-Vendor: IBM
|
||||
Require-Bundle: com.ibm.wala.cast;bundle-version="1.0.0",
|
||||
|
|
|
@ -5,7 +5,7 @@
|
|||
<parent>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<artifactId>WALA</artifactId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
</parent>
|
||||
<artifactId>com.ibm.wala.cast.java.polyglot.test</artifactId>
|
||||
<packaging>eclipse-plugin</packaging>
|
||||
|
|
|
@ -2,7 +2,7 @@ Manifest-Version: 1.0
|
|||
Bundle-ManifestVersion: 2
|
||||
Bundle-Name: WALA CAst Java Polyglot Plug-in
|
||||
Bundle-SymbolicName: com.ibm.wala.cast.java.polyglot
|
||||
Bundle-Version: 1.3.8
|
||||
Bundle-Version: 1.3.8.qualifier
|
||||
Bundle-Vendor: IBM
|
||||
Require-Bundle: com.ibm.wala.cast.java,
|
||||
com.ibm.wala.cast,
|
||||
|
|
|
@ -6,7 +6,7 @@
|
|||
<parent>
|
||||
<artifactId>WALA</artifactId>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
</parent>
|
||||
<artifactId>com.ibm.wala.cast.java.polyglot</artifactId>
|
||||
<packaging>eclipse-plugin</packaging>
|
||||
|
|
|
@ -2,6 +2,6 @@ Manifest-Version: 1.0
|
|||
Bundle-ManifestVersion: 2
|
||||
Bundle-Name: Data Plug-in
|
||||
Bundle-SymbolicName: com.ibm.wala.cast.java.test.data
|
||||
Bundle-Version: 1.3.8
|
||||
Bundle-Version: 1.3.8.qualifier
|
||||
Bundle-Vendor: IBM
|
||||
Bundle-RequiredExecutionEnvironment: JavaSE-1.7
|
||||
|
|
|
@ -5,7 +5,7 @@
|
|||
<parent>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<artifactId>WALA</artifactId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
</parent>
|
||||
<artifactId>com.ibm.wala.cast.java.test.data</artifactId>
|
||||
<packaging>eclipse-plugin</packaging>
|
||||
|
|
|
@ -2,7 +2,7 @@ Manifest-Version: 1.0
|
|||
Bundle-ManifestVersion: 2
|
||||
Bundle-Name: Java AST WALA Test Plug-in
|
||||
Bundle-SymbolicName: com.ibm.wala.cast.java.test
|
||||
Bundle-Version: 1.3.8
|
||||
Bundle-Version: 1.3.8.qualifier
|
||||
Bundle-Activator: com.ibm.wala.cast.java.test.TestPlugin
|
||||
Bundle-Vendor: IBM
|
||||
Require-Bundle: com.ibm.wala.core.tests,
|
||||
|
|
|
@ -5,7 +5,7 @@
|
|||
<parent>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<artifactId>WALA</artifactId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
</parent>
|
||||
<artifactId>com.ibm.wala.cast.java.test</artifactId>
|
||||
<packaging>eclipse-plugin</packaging>
|
||||
|
|
|
@ -2,7 +2,7 @@ Manifest-Version: 1.0
|
|||
Bundle-ManifestVersion: 2
|
||||
Bundle-Name: Java Source WALA Front End
|
||||
Bundle-SymbolicName: com.ibm.wala.cast.java
|
||||
Bundle-Version: 1.3.8
|
||||
Bundle-Version: 1.3.8.qualifier
|
||||
Bundle-Activator: com.ibm.wala.cast.java.JavaSourcePlugin
|
||||
Bundle-Vendor: rfuhrer@watson.ibm.com
|
||||
Require-Bundle: com.ibm.wala.cast,
|
||||
|
|
|
@ -5,7 +5,7 @@
|
|||
<parent>
|
||||
<artifactId>WALA</artifactId>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
</parent>
|
||||
<artifactId>com.ibm.wala.cast.java</artifactId>
|
||||
<packaging>eclipse-plugin</packaging>
|
||||
|
|
|
@ -2,7 +2,7 @@ Manifest-Version: 1.0
|
|||
Bundle-ManifestVersion: 2
|
||||
Bundle-Name: Nu_validator
|
||||
Bundle-SymbolicName: com.ibm.wala.cast.js.html.nu_validator
|
||||
Bundle-Version: 1.3.8
|
||||
Bundle-Version: 1.3.8.qualifier
|
||||
Export-Package: com.ibm.wala.cast.js.html.nu_validator
|
||||
Require-Bundle: com.ibm.wala.cast.js;bundle-version="1.0.0",
|
||||
com.ibm.wala.cast.js.rhino.test;bundle-version="1.0.0",
|
||||
|
|
|
@ -5,7 +5,7 @@
|
|||
<parent>
|
||||
<artifactId>WALA</artifactId>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
</parent>
|
||||
<artifactId>com.ibm.wala.cast.js.html.nu_validator</artifactId>
|
||||
<packaging>eclipse-plugin</packaging>
|
||||
|
|
|
@ -2,7 +2,7 @@ Manifest-Version: 1.0
|
|||
Bundle-ManifestVersion: 2
|
||||
Bundle-Name: Test Plug-in
|
||||
Bundle-SymbolicName: com.ibm.wala.cast.js.rhino.test
|
||||
Bundle-Version: 1.3.8
|
||||
Bundle-Version: 1.3.8.qualifier
|
||||
Bundle-Vendor: IBM
|
||||
Require-Bundle: com.ibm.wala.cast.js.rhino;bundle-version="1.0.0",
|
||||
com.ibm.wala.cast.js;bundle-version="1.0.0",
|
||||
|
|
|
@ -5,7 +5,7 @@
|
|||
<parent>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<artifactId>WALA</artifactId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
</parent>
|
||||
<artifactId>com.ibm.wala.cast.js.rhino.test</artifactId>
|
||||
<packaging>eclipse-plugin</packaging>
|
||||
|
|
|
@ -2,7 +2,7 @@ Manifest-Version: 1.0
|
|||
Bundle-ManifestVersion: 2
|
||||
Bundle-Name: Rhino Plug-in
|
||||
Bundle-SymbolicName: com.ibm.wala.cast.js.rhino
|
||||
Bundle-Version: 1.3.8
|
||||
Bundle-Version: 1.3.8.qualifier
|
||||
Bundle-Vendor: IBM
|
||||
Require-Bundle: com.ibm.wala.cast;bundle-version="1.0.0",
|
||||
com.ibm.wala.cast.js;bundle-version="1.0.0",
|
||||
|
|
|
@ -5,7 +5,7 @@
|
|||
<modelVersion>4.0.0</modelVersion>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<artifactId>com.ibm.wala.cast.js.rhino</artifactId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
<packaging>jar</packaging>
|
||||
<name>WALA CAst JS Rhino</name>
|
||||
<description>WALA JS Rhino adapter</description>
|
||||
|
@ -45,17 +45,17 @@
|
|||
<dependency>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<artifactId>com.ibm.wala.core</artifactId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
</dependency>
|
||||
<dependency>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<artifactId>com.ibm.wala.cast</artifactId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
</dependency>
|
||||
<dependency>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<artifactId>com.ibm.wala.cast.js</artifactId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
</dependency>
|
||||
<dependency>
|
||||
<groupId>org.mozilla</groupId>
|
||||
|
|
|
@ -6,7 +6,7 @@
|
|||
<parent>
|
||||
<artifactId>WALA</artifactId>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
</parent>
|
||||
<artifactId>com.ibm.wala.cast.js.rhino</artifactId>
|
||||
<packaging>eclipse-plugin</packaging>
|
||||
|
|
|
@ -3,7 +3,7 @@ Bundle-ManifestVersion: 2
|
|||
Eclipse-LazyStart: true
|
||||
Bundle-Name: %pluginName
|
||||
Bundle-SymbolicName: com.ibm.wala.cast.js.test.data;singleton:=true
|
||||
Bundle-Version: 1.3.8
|
||||
Bundle-Version: 1.3.8.qualifier
|
||||
Bundle-Vendor: %providerName
|
||||
Bundle-Localization: plugin
|
||||
Bundle-ActivationPolicy: lazy
|
||||
|
|
|
@ -5,7 +5,7 @@
|
|||
<parent>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<artifactId>WALA</artifactId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
</parent>
|
||||
<artifactId>com.ibm.wala.cast.js.test.data</artifactId>
|
||||
<packaging>eclipse-plugin</packaging>
|
||||
|
|
|
@ -2,7 +2,7 @@ Manifest-Version: 1.0
|
|||
Bundle-ManifestVersion: 2
|
||||
Bundle-Name: WALA JavaScript Test Plug-in
|
||||
Bundle-SymbolicName: com.ibm.wala.cast.js.test
|
||||
Bundle-Version: 1.3.8
|
||||
Bundle-Version: 1.3.8.qualifier
|
||||
Bundle-Vendor: IBM
|
||||
Require-Bundle: com.ibm.wala.cast.js,
|
||||
com.ibm.wala.cast,
|
||||
|
|
|
@ -5,7 +5,7 @@
|
|||
<parent>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<artifactId>WALA</artifactId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
</parent>
|
||||
<artifactId>com.ibm.wala.cast.js.test</artifactId>
|
||||
<packaging>eclipse-plugin</packaging>
|
||||
|
|
|
@ -2,7 +2,7 @@ Manifest-Version: 1.0
|
|||
Bundle-ManifestVersion: 2
|
||||
Bundle-Name: JavaScript Plug-in
|
||||
Bundle-SymbolicName: com.ibm.wala.cast.js;singleton:=true
|
||||
Bundle-Version: 1.3.8
|
||||
Bundle-Version: 1.3.8.qualifier
|
||||
Bundle-ClassPath: .,
|
||||
lib/jericho-html-3.2.jar
|
||||
Bundle-Vendor: IBM
|
||||
|
|
|
@ -5,7 +5,7 @@
|
|||
<modelVersion>4.0.0</modelVersion>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<artifactId>com.ibm.wala.cast.js</artifactId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
<packaging>jar</packaging>
|
||||
<name>WALA CAst JS</name>
|
||||
<description>WALA JS frontend</description>
|
||||
|
@ -45,17 +45,17 @@
|
|||
<dependency>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<artifactId>com.ibm.wala.core</artifactId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
</dependency>
|
||||
<dependency>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<artifactId>com.ibm.wala.shrike</artifactId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
</dependency>
|
||||
<dependency>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<artifactId>com.ibm.wala.cast</artifactId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
</dependency>
|
||||
<dependency>
|
||||
<groupId>net.htmlparser.jericho</groupId>
|
||||
|
|
|
@ -6,7 +6,7 @@
|
|||
<parent>
|
||||
<artifactId>WALA</artifactId>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
</parent>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<artifactId>com.ibm.wala.cast.js</artifactId>
|
||||
|
|
|
@ -2,7 +2,7 @@ Manifest-Version: 1.0
|
|||
Bundle-ManifestVersion: 2
|
||||
Bundle-Name: CAst Test Plug-in
|
||||
Bundle-SymbolicName: com.ibm.wala.cast.test
|
||||
Bundle-Version: 1.3.8
|
||||
Bundle-Version: 1.3.8.qualifier
|
||||
Bundle-Vendor: IBM
|
||||
Require-Bundle:
|
||||
org.junit;bundle-version="4.0.0",
|
||||
|
|
|
@ -5,7 +5,7 @@
|
|||
<parent>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<artifactId>WALA</artifactId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
</parent>
|
||||
<artifactId>com.ibm.wala.cast.test</artifactId>
|
||||
<packaging>eclipse-plugin</packaging>
|
||||
|
|
|
@ -2,7 +2,7 @@ Manifest-Version: 1.0
|
|||
Bundle-ManifestVersion: 2
|
||||
Bundle-Name: WALA CAst core Plug-in
|
||||
Bundle-SymbolicName: com.ibm.wala.cast
|
||||
Bundle-Version: 1.3.8
|
||||
Bundle-Version: 1.3.8.qualifier
|
||||
Bundle-Vendor: IBM
|
||||
Require-Bundle: com.ibm.wala.core,
|
||||
com.ibm.wala.shrike
|
||||
|
|
|
@ -5,7 +5,7 @@
|
|||
<modelVersion>4.0.0</modelVersion>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<artifactId>com.ibm.wala.cast</artifactId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
<packaging>jar</packaging>
|
||||
<name>WALA CAst</name>
|
||||
<description>WALA Common AST core library</description>
|
||||
|
@ -45,12 +45,12 @@
|
|||
<dependency>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<artifactId>com.ibm.wala.core</artifactId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
</dependency>
|
||||
<dependency>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<artifactId>com.ibm.wala.shrike</artifactId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
</dependency>
|
||||
<dependency>
|
||||
<groupId>commons-io</groupId>
|
||||
|
|
|
@ -5,7 +5,7 @@
|
|||
<parent>
|
||||
<artifactId>WALA</artifactId>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
</parent>
|
||||
<artifactId>com.ibm.wala.cast</artifactId>
|
||||
<packaging>eclipse-plugin</packaging>
|
||||
|
|
|
@ -2,7 +2,7 @@ Manifest-Version: 1.0
|
|||
Bundle-ManifestVersion: 2
|
||||
Bundle-Name: Testdata Plug-in
|
||||
Bundle-SymbolicName: com.ibm.wala.core.testdata
|
||||
Bundle-Version: 1.3.8
|
||||
Bundle-Version: 1.3.8.qualifier
|
||||
Bundle-Vendor: IBM
|
||||
Bundle-RequiredExecutionEnvironment: JavaSE-1.8
|
||||
Eclipse-BuddyPolicy: registered
|
||||
|
|
|
@ -5,7 +5,7 @@
|
|||
<parent>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<artifactId>WALA</artifactId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
</parent>
|
||||
<packaging>eclipse-plugin</packaging>
|
||||
<artifactId>com.ibm.wala.core.testdata</artifactId>
|
||||
|
|
|
@ -2,7 +2,7 @@ Manifest-Version: 1.0
|
|||
Bundle-ManifestVersion: 2
|
||||
Bundle-Name: %pluginName
|
||||
Bundle-SymbolicName: com.ibm.wala.core.tests;singleton:=true
|
||||
Bundle-Version: 1.3.8
|
||||
Bundle-Version: 1.3.8.qualifier
|
||||
Bundle-Vendor: %providerName
|
||||
Require-Bundle: com.ibm.wala.shrike,
|
||||
com.ibm.wala.core,
|
||||
|
|
|
@ -5,7 +5,7 @@
|
|||
<parent>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<artifactId>WALA</artifactId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
</parent>
|
||||
<artifactId>com.ibm.wala.core.tests</artifactId>
|
||||
<packaging>eclipse-plugin</packaging>
|
||||
|
|
|
@ -38,7 +38,6 @@ import com.ibm.wala.ipa.callgraph.impl.Util;
|
|||
import com.ibm.wala.ipa.cha.ClassHierarchy;
|
||||
import com.ibm.wala.ipa.cha.ClassHierarchyException;
|
||||
import com.ibm.wala.ipa.cha.IClassHierarchy;
|
||||
import com.ibm.wala.ipa.modref.ModRef;
|
||||
import com.ibm.wala.ipa.slicer.MethodEntryStatement;
|
||||
import com.ibm.wala.ipa.slicer.NormalStatement;
|
||||
import com.ibm.wala.ipa.slicer.SDG;
|
||||
|
@ -57,7 +56,6 @@ import com.ibm.wala.ssa.SSAInstruction;
|
|||
import com.ibm.wala.ssa.SSAInvokeInstruction;
|
||||
import com.ibm.wala.ssa.SSANewInstruction;
|
||||
import com.ibm.wala.ssa.SSAPutInstruction;
|
||||
import com.ibm.wala.ssa.SSAReturnInstruction;
|
||||
import com.ibm.wala.types.ClassLoaderReference;
|
||||
import com.ibm.wala.types.Descriptor;
|
||||
import com.ibm.wala.util.CancelException;
|
||||
|
@ -715,50 +713,6 @@ public class SlicerTest {
|
|||
ControlDependenceOptions.NO_EXCEPTIONAL_EDGES);
|
||||
dumpSlice(slice);
|
||||
}
|
||||
|
||||
|
||||
@Test
|
||||
public void testSimple1() throws ClassHierarchyException, IllegalArgumentException, CancelException, IOException, UnsoundGraphException {
|
||||
AnalysisScope scope = CallGraphTestUtil.makeJ2SEAnalysisScope(TestConstants.WALA_TESTDATA, "/tmp/exclusions.txt");
|
||||
|
||||
IClassHierarchy cha = findOrCreateCHA(scope);
|
||||
Iterable<Entrypoint> entrypoints = com.ibm.wala.ipa.callgraph.impl.Util.makeMainEntrypoints(scope, cha,
|
||||
"Lslice/Sorting1");
|
||||
AnalysisOptions options = CallGraphTestUtil.makeAnalysisOptions(scope, entrypoints);
|
||||
|
||||
CallGraphBuilder builder = Util.makeZeroOneCFABuilder(options, new AnalysisCache(), cha, scope);
|
||||
CallGraph cg = builder.makeCallGraph(options, null);
|
||||
|
||||
SDG sdg = new SDG(cg, builder.getPointerAnalysis(), ModRef.make(),
|
||||
DataDependenceOptions.NO_BASE_PTRS,ControlDependenceOptions.FULL);
|
||||
CGNode main = findMainMethod(cg);
|
||||
|
||||
long startTime, runningTime;
|
||||
startTime = System.currentTimeMillis();
|
||||
Collection<Statement> computeForwardSlice = Slicer.computeForwardSlice(sdg, findCallTo(main, "readLine"));
|
||||
runningTime = System.currentTimeMillis() - startTime;
|
||||
System.out.println("Running time " + runningTime);
|
||||
System.out.println("slice size " + computeForwardSlice.size());
|
||||
|
||||
|
||||
IR ir = main.getIR();
|
||||
SSAInstruction[] insts = ir.getInstructions();
|
||||
Statement stmt = null;
|
||||
for (int i=insts.length-1; i>=0; i--) {
|
||||
SSAInstruction s = insts[i];
|
||||
if (s instanceof SSAReturnInstruction) {
|
||||
|
||||
stmt = new NormalStatement(main, i);
|
||||
break;
|
||||
}
|
||||
}
|
||||
System.out.println(stmt);
|
||||
startTime = System.currentTimeMillis();
|
||||
Collection<Statement> backwardSlice = Slicer.computeBackwardSlice(sdg, stmt);
|
||||
runningTime = System.currentTimeMillis() - startTime;
|
||||
System.out.println("back Running time " + runningTime);
|
||||
System.out.println("back slice size " + backwardSlice.size());
|
||||
}
|
||||
|
||||
public static int countAllocations(Collection<Statement> slice) {
|
||||
int count = 0;
|
||||
|
|
|
@ -3,7 +3,7 @@ Bundle-ManifestVersion: 2
|
|||
Eclipse-LazyStart: true
|
||||
Bundle-Name: %pluginName
|
||||
Bundle-SymbolicName: com.ibm.wala.core
|
||||
Bundle-Version: 1.3.8
|
||||
Bundle-Version: 1.3.8.qualifier
|
||||
Bundle-Vendor: %providerName
|
||||
Bundle-Localization: plugin
|
||||
Require-Bundle: com.ibm.wala.shrike,
|
||||
|
|
|
@ -5,7 +5,7 @@
|
|||
<modelVersion>4.0.0</modelVersion>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<artifactId>com.ibm.wala.core</artifactId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
<packaging>jar</packaging>
|
||||
<name>WALA Core</name>
|
||||
<description>Core WALA analysis libraries</description>
|
||||
|
@ -45,12 +45,12 @@
|
|||
<dependency>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<artifactId>com.ibm.wala.util</artifactId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
</dependency>
|
||||
<dependency>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<artifactId>com.ibm.wala.shrike</artifactId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
</dependency>
|
||||
</dependencies>
|
||||
|
||||
|
|
|
@ -5,7 +5,7 @@
|
|||
<parent>
|
||||
<artifactId>WALA</artifactId>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
</parent>
|
||||
<artifactId>com.ibm.wala.core</artifactId>
|
||||
<packaging>eclipse-plugin</packaging>
|
||||
|
|
|
@ -2,7 +2,7 @@ Manifest-Version: 1.0
|
|||
Bundle-ManifestVersion: 2
|
||||
Bundle-Name: WalaDalvikBytecodeTests
|
||||
Bundle-SymbolicName: com.ibm.wala.dalvik.test
|
||||
Bundle-Version: 1.3.8
|
||||
Bundle-Version: 1.3.8.qualifier
|
||||
Bundle-Activator: com.ibm.wala.dalvik.test.Activator
|
||||
Bundle-Vendor: IBM
|
||||
Require-Bundle: org.eclipse.core.runtime,
|
||||
|
|
|
@ -5,7 +5,7 @@
|
|||
<parent>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<artifactId>WALA</artifactId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
</parent>
|
||||
<artifactId>com.ibm.wala.dalvik.test</artifactId>
|
||||
<packaging>eclipse-plugin</packaging>
|
||||
|
|
|
@ -2,7 +2,7 @@ Manifest-Version: 1.0
|
|||
Bundle-ManifestVersion: 2
|
||||
Bundle-Name: WALA Dalvik Bytecode Frontend
|
||||
Bundle-SymbolicName: com.ibm.wala.dalvik
|
||||
Bundle-Version: 1.3.8
|
||||
Bundle-Version: 1.3.8.qualifier
|
||||
Require-Bundle: com.ibm.wala.cast;bundle-version="1.0.0",
|
||||
com.ibm.wala.core;bundle-version="1.1.3",
|
||||
com.ibm.wala.ide;bundle-version="1.1.3",
|
||||
|
|
|
@ -6,7 +6,7 @@
|
|||
<parent>
|
||||
<artifactId>WALA</artifactId>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
</parent>
|
||||
<artifactId>com.ibm.wala.dalvik</artifactId>
|
||||
<packaging>eclipse-plugin</packaging>
|
||||
|
|
|
@ -2,7 +2,7 @@
|
|||
<feature
|
||||
id="com.ibm.wala.ide-feature"
|
||||
label="%featureName"
|
||||
version="1.3.8"
|
||||
version="1.3.8.qualifier"
|
||||
provider-name="%providerName">
|
||||
|
||||
<plugin
|
||||
|
|
|
@ -5,7 +5,7 @@
|
|||
<parent>
|
||||
<artifactId>WALA</artifactId>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
</parent>
|
||||
<artifactId>com.ibm.wala.ide-feature</artifactId>
|
||||
<packaging>eclipse-feature</packaging>
|
||||
|
|
|
@ -2,7 +2,7 @@ Manifest-Version: 1.0
|
|||
Bundle-ManifestVersion: 2
|
||||
Bundle-Name: WALA CAst Java JDT Test Plug-in
|
||||
Bundle-SymbolicName: com.ibm.wala.ide.jdt.test
|
||||
Bundle-Version: 1.3.8
|
||||
Bundle-Version: 1.3.8.qualifier
|
||||
Bundle-Activator: com.ibm.wala.cast.java.jdt.test.Activator
|
||||
Bundle-Vendor: IBM
|
||||
Require-Bundle: com.ibm.wala.cast.java.test;bundle-version="1.0.0",
|
||||
|
|
|
@ -6,7 +6,7 @@
|
|||
<parent>
|
||||
<artifactId>WALA</artifactId>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
</parent>
|
||||
|
||||
|
||||
|
|
|
@ -2,7 +2,7 @@ Manifest-Version: 1.0
|
|||
Bundle-ManifestVersion: 2
|
||||
Bundle-Name: WALA IDE JDT components
|
||||
Bundle-SymbolicName: com.ibm.wala.ide.jdt
|
||||
Bundle-Version: 1.3.8
|
||||
Bundle-Version: 1.3.8.qualifier
|
||||
Bundle-Activator: com.ibm.wala.ide.jdt.Activator
|
||||
Bundle-Vendor: IBM
|
||||
Require-Bundle: org.eclipse.ui,
|
||||
|
|
|
@ -5,7 +5,7 @@
|
|||
<parent>
|
||||
<artifactId>WALA</artifactId>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
</parent>
|
||||
<artifactId>com.ibm.wala.ide.jdt</artifactId>
|
||||
<packaging>eclipse-plugin</packaging>
|
||||
|
|
|
@ -2,7 +2,7 @@ Manifest-Version: 1.0
|
|||
Bundle-ManifestVersion: 2
|
||||
Bundle-Name: JSDT Tests
|
||||
Bundle-SymbolicName: com.ibm.wala.ide.jsdt.tests;singleton:=true
|
||||
Bundle-Version: 1.3.8
|
||||
Bundle-Version: 1.3.8.qualifier
|
||||
Require-Bundle: com.ibm.wala.core;bundle-version="1.1.3",
|
||||
com.ibm.wala.cast;bundle-version="1.0.0",
|
||||
com.ibm.wala.cast.js;bundle-version="1.0.0",
|
||||
|
|
File diff suppressed because one or more lines are too long
|
@ -6,7 +6,7 @@
|
|||
<parent>
|
||||
<artifactId>WALA</artifactId>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
</parent>
|
||||
|
||||
<artifactId>com.ibm.wala.ide.jsdt.tests</artifactId>
|
||||
|
|
|
@ -2,7 +2,7 @@ Manifest-Version: 1.0
|
|||
Bundle-ManifestVersion: 2
|
||||
Bundle-Name: Jsdt
|
||||
Bundle-SymbolicName: com.ibm.wala.ide.jsdt
|
||||
Bundle-Version: 1.3.8
|
||||
Bundle-Version: 1.3.8.qualifier
|
||||
Bundle-Activator: com.ibm.wala.ide.jsdt.Activator
|
||||
Bundle-Vendor: IBM
|
||||
Require-Bundle: org.eclipse.core.runtime,
|
||||
|
|
|
@ -5,7 +5,7 @@
|
|||
<parent>
|
||||
<artifactId>WALA</artifactId>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
</parent>
|
||||
<artifactId>com.ibm.wala.ide.jsdt</artifactId>
|
||||
<packaging>eclipse-plugin</packaging>
|
||||
|
|
|
@ -2,7 +2,7 @@ Manifest-Version: 1.0
|
|||
Bundle-ManifestVersion: 2
|
||||
Bundle-Name: %pluginName
|
||||
Bundle-SymbolicName: com.ibm.wala.ide.tests;singleton:=true
|
||||
Bundle-Version: 1.3.8
|
||||
Bundle-Version: 1.3.8.qualifier
|
||||
Bundle-Vendor: %providerName
|
||||
Require-Bundle: com.ibm.wala.shrike,
|
||||
com.ibm.wala.core,
|
||||
|
|
|
@ -5,7 +5,7 @@
|
|||
<parent>
|
||||
<artifactId>WALA</artifactId>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
</parent>
|
||||
<artifactId>com.ibm.wala.ide.tests</artifactId>
|
||||
<packaging>eclipse-plugin</packaging>
|
||||
|
|
|
@ -3,7 +3,7 @@ Bundle-ManifestVersion: 2
|
|||
Eclipse-LazyStart: true
|
||||
Bundle-Name: %pluginName
|
||||
Bundle-SymbolicName: com.ibm.wala.ide
|
||||
Bundle-Version: 1.3.8
|
||||
Bundle-Version: 1.3.8.qualifier
|
||||
Bundle-Activator: com.ibm.wala.ide.plugin.CorePlugin
|
||||
Bundle-Vendor: %providerName
|
||||
Bundle-Localization: plugin
|
||||
|
|
|
@ -5,7 +5,7 @@
|
|||
<parent>
|
||||
<artifactId>WALA</artifactId>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
</parent>
|
||||
<artifactId>com.ibm.wala.ide</artifactId>
|
||||
<packaging>eclipse-plugin</packaging>
|
||||
|
|
|
@ -2,7 +2,7 @@ Manifest-Version: 1.0
|
|||
Bundle-ManifestVersion: 2
|
||||
Bundle-Name: SCanDroid
|
||||
Bundle-SymbolicName: com.ibm.wala.scandroid
|
||||
Bundle-Version: 1.3.8
|
||||
Bundle-Version: 1.3.8.qualifier
|
||||
Bundle-Activator: com.ibm.wala.scandroid.Activator
|
||||
Bundle-Vendor: IBM
|
||||
Require-Bundle: org.eclipse.ui,
|
||||
|
|
|
@ -5,7 +5,7 @@
|
|||
<parent>
|
||||
<artifactId>WALA</artifactId>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
</parent>
|
||||
<artifactId>com.ibm.wala.scandroid</artifactId>
|
||||
<packaging>eclipse-plugin</packaging>
|
||||
|
|
|
@ -2,7 +2,7 @@ Manifest-Version: 1.0
|
|||
Bundle-ManifestVersion: 2
|
||||
Bundle-Name: %pluginName
|
||||
Bundle-SymbolicName: com.ibm.wala.shrike
|
||||
Bundle-Version: 1.3.8
|
||||
Bundle-Version: 1.3.8.qualifier
|
||||
Bundle-Vendor: %providerName
|
||||
Bundle-ActivationPolicy: lazy
|
||||
Bundle-Localization: plugin
|
||||
|
|
|
@ -5,7 +5,7 @@
|
|||
<modelVersion>4.0.0</modelVersion>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<artifactId>com.ibm.wala.shrike</artifactId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
<packaging>jar</packaging>
|
||||
<name>WALA Shrike</name>
|
||||
<description>WALA Shrike library for bytecode reading and instrumentation</description>
|
||||
|
@ -45,7 +45,7 @@
|
|||
<dependency>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<artifactId>com.ibm.wala.util</artifactId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
</dependency>
|
||||
</dependencies>
|
||||
|
||||
|
|
|
@ -5,7 +5,7 @@
|
|||
<parent>
|
||||
<artifactId>WALA</artifactId>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
</parent>
|
||||
<artifactId>com.ibm.wala.shrike</artifactId>
|
||||
<packaging>eclipse-plugin</packaging>
|
||||
|
|
|
@ -2,7 +2,7 @@
|
|||
<feature
|
||||
id="com.ibm.wala.tests-feature"
|
||||
label="%featureName"
|
||||
version="1.3.8"
|
||||
version="1.3.8.qualifier"
|
||||
provider-name="%providerName">
|
||||
|
||||
<plugin
|
||||
|
|
|
@ -5,7 +5,7 @@
|
|||
<parent>
|
||||
<artifactId>WALA</artifactId>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
</parent>
|
||||
<artifactId>com.ibm.wala.tests-feature</artifactId>
|
||||
<packaging>eclipse-feature</packaging>
|
||||
|
|
|
@ -2,7 +2,7 @@
|
|||
<feature
|
||||
id="com.ibm.wala.tests.ide"
|
||||
label="%featureName"
|
||||
version="1.3.8"
|
||||
version="1.3.8.qualifier"
|
||||
provider-name="%providerName">
|
||||
|
||||
<plugin
|
||||
|
|
|
@ -2,7 +2,7 @@ Manifest-Version: 1.0
|
|||
Bundle-ManifestVersion: 2
|
||||
Bundle-Name: WALA Util
|
||||
Bundle-SymbolicName: com.ibm.wala.util
|
||||
Bundle-Version: 1.3.8
|
||||
Bundle-Version: 1.3.8.qualifier
|
||||
Export-Package: com.ibm.wala.dataflow.graph,
|
||||
com.ibm.wala.fixedpoint.impl,
|
||||
com.ibm.wala.fixpoint,
|
||||
|
|
|
@ -5,7 +5,7 @@
|
|||
<modelVersion>4.0.0</modelVersion>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<artifactId>com.ibm.wala.util</artifactId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
<packaging>jar</packaging>
|
||||
<name>WALA utilities</name>
|
||||
<description>Utility library included with the T. J. Watson
|
||||
|
|
|
@ -5,7 +5,7 @@
|
|||
<parent>
|
||||
<artifactId>WALA</artifactId>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
</parent>
|
||||
<artifactId>com.ibm.wala.util</artifactId>
|
||||
<packaging>eclipse-plugin</packaging>
|
||||
|
|
4
pom.xml
4
pom.xml
|
@ -5,10 +5,10 @@
|
|||
<modelVersion>4.0.0</modelVersion>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<artifactId>WALA</artifactId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
<packaging>pom</packaging>
|
||||
<properties>
|
||||
<project-version>1.3.8</project-version>
|
||||
<project-version>1.3.8-SNAPSHOT</project-version>
|
||||
<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
|
||||
<build-alias>b000</build-alias>
|
||||
<tycho-version>0.23.1</tycho-version>
|
||||
|
|
|
@ -5,7 +5,7 @@
|
|||
<parent>
|
||||
<groupId>com.ibm.wala.target</groupId>
|
||||
<artifactId>targets</artifactId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
</parent>
|
||||
<artifactId>e42</artifactId>
|
||||
<packaging>eclipse-target-definition</packaging>
|
||||
|
|
|
@ -5,7 +5,7 @@
|
|||
<parent>
|
||||
<groupId>com.ibm.wala.target</groupId>
|
||||
<artifactId>targets</artifactId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
</parent>
|
||||
<artifactId>e44</artifactId>
|
||||
<packaging>eclipse-target-definition</packaging>
|
||||
|
|
|
@ -5,7 +5,7 @@
|
|||
<parent>
|
||||
<groupId>com.ibm.wala</groupId>
|
||||
<artifactId>WALA</artifactId>
|
||||
<version>1.3.8</version>
|
||||
<version>1.3.8-SNAPSHOT</version>
|
||||
</parent>
|
||||
<groupId>com.ibm.wala.target</groupId>
|
||||
<artifactId>targets</artifactId>
|
||||
|
|
Loading…
Reference in New Issue