[Soot-list] Basic usage of Paddle with Soot

[Ben Holland]

Hi,

I've been trying to run Paddle with Soot, but I'm having some issues.  I
just want to get access to the PointsTo results and the callgraph.  My
question is does Paddle actually work with Soot or is it out of synch with
the current Soot?  It looks like work on Paddle more or less stopped in
2008.

I've read up on my literature for Soot and several of the Lhotak
papers/thesis.  I've also read the Soot Survivors guide in it's entirety.

I'm using the nightly build of Paddle from
http://plg.uwaterloo.ca/~olhotak/build/, and I'm using the version of Soot
available through the Eclipse update site at
https://github.com/Sable/soot/wiki/Running-Soot-as-Eclipse-Plugin.

Running the following program gives me some errors.  Occasionally the error
is different breaking on a Field instead of an array first.

java.lang.NoSuchMethodError:
soot.Scene.getFieldNumberer()Lsoot/util/ArrayNumberer;
at soot.jimple.paddle.ArrayElement.<init>(ArrayElement.java:28)
at
soot.PaddleSingletons.soot_jimple_paddle_ArrayElement(PaddleSingletons.java:33)
at soot.jimple.paddle.ArrayElement.v(ArrayElement.java:30)
at soot.jimple.paddle.NodeFactory.caseArgv(NodeFactory.java:127)
at
soot.jimple.paddle.MethodNodeFactory.addMiscEdges(MethodNodeFactory.java:228)
at
soot.jimple.paddle.TradMethodPAGBuilder.build(TradMethodPAGBuilder.java:63)
at
soot.jimple.paddle.TradMethodPAGBuilder.update(TradMethodPAGBuilder.java:48)
at soot.jimple.paddle.DependencyManager.update(DependencyManager.java:76)
at soot.jimple.paddle.OFCGScene.solve(OFCGScene.java:168)
at soot.jimple.paddle.OFCGConfig.solve(OFCGConfig.java:35)
at soot.jimple.paddle.PaddleScene.solve(PaddleScene.java:1390)
at soot.jimple.paddle.PaddleTransformer.solve(PaddleTransformer.java:99)
at
soot.jimple.paddle.PaddleTransformer.internalTransform(PaddleTransformer.java:46)
at soot.SceneTransformer.transform(SceneTransformer.java:39)
at soot.jimple.paddle.PaddleHook.internalTransform(PaddleHook.java:43)
at soot.SceneTransformer.transform(SceneTransformer.java:39)
at soot.Transform.apply(Transform.java:90)
at soot.RadioScenePack.internalApply(RadioScenePack.java:57)
at
soot.jimple.toolkits.callgraph.CallGraphPack.internalApply(CallGraphPack.java:49)
at soot.Pack.apply(Pack.java:116)
at soot.PackManager.runWholeProgramPacks(PackManager.java:564)
at soot.PackManager.runPacksNormally(PackManager.java:457)
at soot.PackManager.runPacks(PackManager.java:392)
at soot.Main.run(Main.java:271)
at soot.Main.main(Main.java:147)
at PaddleTest.main(PaddleTest.java:43)

public class PaddleTest {

public final static String projectDir = "<my workspace
path>/TestProject/bin";
public static void main(String[] args) {
// reset soot
Scene.v().releaseActiveHierarchy();
Scene.v().releaseCallGraph();
Scene.v().releaseFastHierarchy();
Scene.v().releasePointsToAnalysis();
Scene.v().releaseReachableMethods();
Scene.v().releaseSideEffectAnalysis();
G.reset();

// setup soot args
List<String> sootArgs = new LinkedList<String>();
// analyze entire directory
sootArgs.add("-process-dir");
sootArgs.add(projectDir);
sootArgs.add("-w"); // enable whole program mode

// setup spark options
sootArgs.add("-p");
sootArgs.add("cg.paddle");
sootArgs.add("enabled:true,verbose:true");
// run soot
try {
String[] argsArray = sootArgs.toArray(new String[0]);
soot.Main.main(argsArray);
// iterate over call graph results
CallGraph callGraph = Scene.v().getCallGraph();
System.out.println("Number of edges in callgraph: " + callGraph.size());
// PointsToAnalysis p = Scene.v().getPointsToAnalysis();
} catch (Throwable t){
System.out.println("Soot class path " + Scene.v().getSootClassPath());
t.printStackTrace();
}
}
}

The Soot Survivors Guide shows a slightly example, but I have had
difficulty setting the classpath and standard soot options using that
method.  Do you have a simple example of running Paddle somewhere you could
share?

PaddleTransformer pt = new PaddleTransformer();
PaddleOptions paddle_opt = new PaddleOptions(myPaddleOptions);
pt.setup(paddle_opt);
pt.solve(paddle_opt);
soot.jimple.paddle.Results.v().makeStandardSootResults();

~Ben
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20150813/57e3bc16/attachment.html