[Soot-list] Shimple with Spark

[Navindra Umanee]

Saswat Anand <saswat at cc.gatech.edu> wrote:
> I was just wondering if spark runs with shimple form. In that case, the
> spark points-to results will be flow-sensitive (I hope I am correct on
> this).

Yes it does, and yes you are correct (and also note that Jimple does
variable-splitting, so you already get some of that effect).  If you
are using Soot 2.1.0, you can use --whole-shimple instead of
--whole-program along with the other switches to get Spark to use
Shimple.

You will need to apply this patch.

--- PackManager.java    2004-09-21 10:26:44.202962816 -0400
+++ ../work/src/soot/PackManager.java   2004-08-20 20:51:16.000000000 -0400
@@ -289,13 +271,13 @@
     }

     private void runWholeProgramPacks() {
-        getPack("cg").apply();
-
         if (Options.v().whole_shimple()) {
             ShimpleTransformer.v().transform();
+            getPack("cg").apply();
             getPack("wstp").apply();
             getPack("wsop").apply();
         } else {
+            getPack("cg").apply();
             getPack("wjtp").apply();
             getPack("wjop").apply();
             getPack("wjap").apply();

Cheers,
Navin.