[Soot-list] (GeomPointsTo) Spark PTA Re-analysis

[Michael Gordon]

Hello Xiao,

I initially tried just to release the CG and the PTA, but it did not work.
 Here is the error I am receiving:

Exception in thread "main" java.lang.ArrayIndexOutOfBoundsException: -1
at java.util.ArrayList.get(ArrayList.java:324)
at
soot.jimple.spark.geom.geomPA.OfflineProcessor.add_graph_edge(OfflineProcessor.java:541)
at
soot.jimple.spark.geom.geomPA.OfflineProcessor.buildInstanceAssignmentGraph(OfflineProcessor.java:147)
at
soot.jimple.spark.geom.geomPA.OfflineProcessor.runOptimizations(OfflineProcessor.java:85)
at soot.jimple.spark.geom.geomPA.GeomPointsTo.solve(GeomPointsTo.java:995)
at
soot.jimple.spark.SparkTransformer.internalTransform(SparkTransformer.java:188)
at soot.SceneTransformer.transform(SceneTransformer.java:39)


At this point, my main method is quite large, and has a lot transformation.
 I do not have a simple version to demonstrate this bug.  However, my
consecutive calls to PTA look like this:

...
runPTA();
Scene.v().releaseCallGraph();
Scene.v().releasePointsToAnalysis();
runPTA();
...

public static void runPTA() {

HashMap opt = new HashMap();

opt.put("geom-pta","true");

opt.put("geom-encoding", "geom");

opt.put("geom-worklist", "PQ");

opt.put("geom-eval", "0");

opt.put("geom-trans", "false");

opt.put("geom-frac-base", "40");

opt.put("geom-blocking", "true");

opt.put("geom-runs", "1");

opt.put("enabled","true");

opt.put("verbose","false");

opt.put("ignore-types","true");

opt.put("force-gc","false");

opt.put("pre-jimplify","false");

opt.put("vta","false");

opt.put("rta","false");

opt.put("field-based","false");

opt.put("types-for-sites","false");

opt.put("merge-stringbuffer","false");

opt.put("string-constants","true");

opt.put("simulate-natives","true");

opt.put("simple-edges-bidirectional","false");

opt.put("on-fly-cg","true");

opt.put("simplify-offline","false");

opt.put("simplify-sccs","false");

opt.put("ignore-types-for-sccs","false");

opt.put("propagator","worklist");

opt.put("set-impl","double");

opt.put("double-set-old","hybrid");

opt.put("double-set-new","hybrid");

opt.put("dump-html","false");

opt.put("dump-pag","false");

opt.put("dump-solution","false");

opt.put("topo-sort","false");

opt.put("dump-types","true");

opt.put("class-method-var","true");

opt.put("dump-answer","false");

opt.put("add-tags","false");

opt.put("set-mass","false");

SparkTransformer.v().transform("",opt);

}

Any thoughts on the above error?  I can work on creating a smaller main
driver that recreates the problem if no one has suggestions.

Cheers!
Michael

---

Hi, Michael:

The problem is you release important information that is needed by
points-to analysis. For example, "releaseFastHierarchy" destroys the type
inheritance graph, which is used by either SPARK or Geom.

Please just try releasing only the CallGraph and the PointsToAnalysis after
your transformation. If it doesn't work neither, please show us your full
main function that we can reproduce your failure.

Cheers,
Xiao

--
Michael Gordon, PhD
Research Scientist, MIT CSAIL
http://people.csail.mit.edu/mgordon
Program Head, MIT AITI
http://aiti.mit.edu
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20130402/43e53d92/attachment.html