[Soot-list] My first SPARK example from the survivor's guide runs out of memory

[Lei Shang]

I think in default Spark doesn't produce output just as Eric said. But if
you really want to dump the results, you
need to turn on some dump options provided by Spark, like

    java soot.Main -w -app cg.spark enabled:true,dump-solution:true ...

Other useful dump options include: dump-answer, dump-pag and dump-html. To
see the list of available options in Spark, you should get them by command
"java soot.Main -ph cg.spark".

However, just as Eric said, points-to analysis in most of the cases is
rather a stand-alone task, but serve to provide points-to or alias
information for many other analysis, like lockAllocator, mhp, escape
analysis.

Lei


2012/2/10 Eric Bodden <eric.bodden at ec-spride.de>

> > However, now mine works but it outputs no result at console in my
> > Eclipse. I also observed that sootOutput directory is empty! So, where
> > is the result finally? Sorry for such a question...
>
> The result it's not printed, it's being made available to you in the
> form of two objects that you can access from a SceneTransformer using
> Scene.v().getPointsToAnalysis() and Scene.v().getCallGraph(). Note
> that Spark is not very useful on its own. Usually you want to
> build other analyses that *use* Spark.
>
> Eric
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20120210/7aea5006/attachment.html