[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