[Soot-list] try catch transformation question

[Heejong Lee]

I use a "-allow-phantom-refs -f jimple" option and a byte-code input
(soot trunk build).
Actually, the sample code always produce just 'Exception' not
'IOException' so Soot
should not omit 'Exception' catch statements. Strange.

Regards,

- Heejong

On Tue, Jun 14, 2011 at 11:56 PM, Eric Bodden
<bodden at st.informatik.tu-darmstadt.de> wrote:
> Hello.
>
>> Anybody explain why this happen?
>
> Well, it depends on which optimizations you have enabled. It *may* be
> the case that Soot "sees" that your method can never throw an
> Exception when called with parameter value 1 and therefore it *may*
> have optimized away the trap. This would surprise me, though.
>
> What is your command line? Are you analyzing source code or bytecode?
>
> Eric
> --
> Dr. Eric Bodden, http://bodden.de/
> Principal Investigator in Secure Services at CASED
> Coordinator of the CASED Advisory Board of Study Affairs
> PostDoc at Software Technology Group, Technische Universität Darmstadt
> Tel: +49 6151 16-5478    Fax: +49 6151 16-5410
> Mailing Address: S2|02 A209, Hochschulstraße 10, 64289 Darmstadt
>



-- 
Heejong Lee

Associate Research Engineer
Program Analysis Division
Fasoo.com, Inc. (www.spa-arrow.com)