[Soot-list] Switching the default throws analysis?

[Marc-Andre Laverdiere-Papineau]

+1

I think we can have some bit of documentation for those who want the old 
behavior, in the rare event someone needs to analyze that.

On 07/26/2012 02:01 PM, Richard Xiao wrote:
> Sure, this improvement is highly desired.
> As been shown, the exception passing analysis significantly impacts the
> call graph construction. I think, undoubtedly, many of us can benefit
> from the change.
>
> Best,
> richardxx
>
> On Thu, Jul 26, 2012 at 7:21 PM, Eric Bodden <eric.bodden at ec-spride.de
> <mailto:eric.bodden at ec-spride.de>> wrote:
>
>     Hi all.
>
>     Soot's default throw analysis is the "pedantic throws analysis", which
>     assumes that every statement can throw any sort of exception. This has
>     mostly historic reasons: There is a method Thread.stop() that used to
>     kill a thread, causing apparently all sorts of exceptions to be thrown
>     asynchronously. IMHO this is now outdated, as Thread.stop() is
>     deprecated. In fact, I am not sure if VMs still allow this method to
>     be called. I hence suggest to switch Soot's default to
>     UnitThrowsAnalysis, which is a much more precise (and sensible)
>     default to have.
>
>     Any objections?
>
>     Cheers,
>     Eric
>
>     --
>     Eric Bodden, Ph.D., http://bodden.de/
>     Head of Secure Software Engineering Group at EC SPRIDE
>     Tel: +49 6151 16-75422 <tel:%2B49%206151%2016-75422>    Fax: +49
>     6151 16-72051 <tel:%2B49%206151%2016-72051>
>     Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt
>     _______________________________________________
>     Soot-list mailing list
>     Soot-list at sable.mcgill.ca <mailto: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 <http://www.cse.ust.hk/~richardxx>
>
>
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>


-- 
Marc-André Laverdière-Papineau
Étudiant au doctorat - PhD Student