[Soot-list] Switching the default throws analysis?

[Eric Bodden]

Ok great.

It is switched now, and I also added a couple of lines to the ChangeLog.

Cheers,
Eric

On 27 July 2012 01:25, Marc-Andre Laverdiere-Papineau
<marc-andre.laverdiere-papineau at polymtl.ca> wrote:
> +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
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list



-- 
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