[Soot-list] try catch transformation question

Eric Bodden bodden at st.informatik.tu-darmstadt.de
Tue Jun 14 10:56:33 EDT 2011


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


More information about the Soot-list mailing list