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

[Michael Gordon]

Hello,

I'm using the geometric context sensitive points to analysis framework for
Soot, and I would like to re-analyze the Scene after some transforms are
run.  I would like the second pass of the PTA to take into account the
changes that have been made to the underlying Jimple code for the classes.

I'm trying to programmatically call the PTA multiple times like so:

{
  //run points to analysis using Spark Transformer (1st time)
  //perform some transforms
  ....
  Scene.v().releaseCallGraph();
  Scene.v().releasePointsToAnalysis();
  Scene.v().releaseReachableMethods();
  Scene.v().releaseFastHierarchy();
  Scene.v().releaseActiveHierarchy();

  //run points to analysis again (2nd time)
}

But I'm getting errors in the GeomPointsTo on the second run that don't
appear on the first.  At this point, my "transform" does nothing, so the
underlying Jimple has not changed.  The problem seems to be that one cannot
call the PTA analysis a second time for some reason.

Is it possible to do this programmatically, or do I have to dump the Jimple
files after my transform, call G.reset(), and reload everything to rerun
the PTA?

Any help is greatly appreciated.

Cheers,
Michael

--
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/20130401/793532be/attachment.html