-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathMyPointerAnalysis.java
More file actions
31 lines (26 loc) · 859 Bytes
/
MyPointerAnalysis.java
File metadata and controls
31 lines (26 loc) · 859 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
package pta;
import java.io.File;
import soot.PackManager;
import soot.Transform;
public class MyPointerAnalysis {
// args[0] = "/root/workspace/code"
// args[1] = "test.Hello"
public static void main(String[] args) {
// String jdkLibPath = System.getProperty("java.home")+"/lib/"; //
// "/usr/lib/jvm/java-7-openjdk-amd64/jre/lib/";
String classpath = args[0]
+ File.pathSeparator + args[0] + File.separator + "rt.jar"
+ File.pathSeparator + args[0] + File.separator + "jce.jar";
System.out.println(classpath);
PackManager.v().getPack("wjtp").add(
new Transform("wjtp.mypta", new WholeProgramTransformer(args[1])));
soot.Main.main(new String[] {
"-f", "J", // Indprinciple
"-w",
// "-p", "cg.spark", "enabled:true",
"-p", "wjtp.mypta", "enabled:true",
"-soot-class-path", classpath,
args[1]
});
}
}