[Soot-list] try catch transformation question

[Eric Bodden]

> Okay, I've just disabled jb.uce and the problem is resolved.

That explains the problem. Without jb.uce Soot just does convert the
bytecode to Jimple and, as you report, the traps remain intact. But by
default, jb.uce is enabled and when it runs, trying to find
unreachable code, it accesses the type hierarchy to be able to
"understand" exceptional control flow. With -allow-pantom-refs, this
then leads to unsound results.

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