[Soot-list] Spark as default pointer analysis

[Zell]

Hello,
Hey,

This is quite Interesting. I may be totally wrong, but here is my thinking:

For the non-expert Soot users, spark  seems to be highly resource-  and too
time-consuming. Enabling Spark by default might scare them away from using
Soot; For those who know well Soot, they should be willing to enable
manually Spark I suppose.

I would vote for 'yes' if there is easy ways to make Spark run locally and
conservatively, without analyzing 1736 classes for even a tiny "hi, world!"

Apparently, the -no-bodies-for-excluded and -allow-phahtom-classes go in
this direction. I guess the analyses could be unsound then? An interesting
question is really,  under what *exact* conditions, Spark with those
options enabled still gives still sound results.   Then, it might be more
appropriate to enable SOOT by default, in my humble opinion.

Zell.

On Thu, Aug 16, 2012 at 2:09 PM, Eric Bodden <eric.bodden at ec-spride.de>wrote:

> Hi all.
>
> Currently we have the DumbPointerAnalysis as default in Soot. I wonder
> if this is appropriate. I would suggest to change the default to
> Spark, as this is usually what people will want when they ask for a
> whole-program analysis. What do you think?
>
> Cheers,
> Eric
>
> --
> Eric Bodden, Ph.D., http://bodden.de/
> Head of Secure Software Engineering Group at EC SPRIDE
> Tel: +49 6151 16-75422    Fax: +49 6151 16-72051
> Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt
> _______________________________________________
> 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/20120816/200ae2f1/attachment.html