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

[Richard Xiao]

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




On Tue, Apr 2, 2013 at 9:12 AM, Michael Gordon <mgordon at mit.edu> wrote:

> 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
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
>


-- 
Richard Xiao Xiao
PhD Student @ CSE @ Hong Kong University of Science and Technology
www.cse.ust.hk/~richardxx
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20130402/61d4f34b/attachment.html