[Soot-list] (no subject)

[Eric Bodden]

Hello Xiaoquan.

This appears to be a bug in Soot. There have been known off-by-one
issues regarding such "traps" before. I guess somebody should fix this
at some point.

Eric

--
Dr. Eric Bodden
Software Technology Group, Technische Universität Darmstadt, Germany
Tel: +49 6151 16-5478    Fax: +49 6151 16-5410
Mailing Address: S2|02 A209, Hochschulstraße 10, 64289 Darmstadt



2010/9/17 wuxiaoquan07 <wuxiaoquan07 at otcaix.iscas.ac.cn>:
> Dear Sir:
>
> I’m interested in Soot, and check out Soot following the steps on the page
> of http://www.sable.mcgill.ca/soot/soot_in_eclipse_howto.html
>
> I analyzed “HelloWorld.java” by Soot and the output is written in
> “sootoutput.txt”.  My test code in in TestSoot2.java, but I’m puzzled with
> the result analyzed by Soot.
>
> My question is in the method of HelloWorld. testObjectEFlow(), why the
> successor of unit “r2 = $r4” is “$r5 := @caughtexception”?
>
> In the source code of HelloWorld , the statement “MyClass myClass = new
> MyClass();” is out of the try block, so if an exception is thrown, it will
> exit and can not be caught by catch clause, isn’t it?
>
>
>
> Thanks.
>
>
>
> Xiaoquan
>
>
>
> ===================================================
>
> Wu, Xiaoquan 伍晓泉
>
> Technology Center for Software Engineering
>
> Institute of Software, Chinese Academy of Sciences
>
> P.O.Box 8718, Beijing 100190, China
>
> Email: wuxiaoquan07 at otcaix.iscas.ac.cn
>
> ===================================================
>
>