[Soot-list] Runtime Exception Body of method does not contain a return statement

[Bodden, Eric]

Should be ok to use the nightly build.

Eric

On 04.10.2013, at 07:21, Yogesh A. Mujumdar <yogesh.mujumdar at gmail.com> wrote:

> Thanks Alexandre. Just one more question. Is it OK if I download
> Soot's nightly build to get this fix? Or do I have to build myself?
> 
> - yam
> 
> http://www.flickr.com/photos/yogiam/
> 
> 
> 
> On Thu, Oct 3, 2013 at 9:10 PM, Alexandre Bartel
> <alexandre.bartel at uni.lu> wrote:
>> Hi,
>> 
>> This should have been fixed by commit
>> 7214d519270870f58334c28dd99178b1de95ade0.
>> 
>> Yam, please use Soot's github issue tracker next time to report an
>> issue:
>> https://github.com/Sable/soot/issues
>> 
>> /Alexandre
>> 
>> On Thu, 2013-10-03 at 11:50 +0200, Bernhard Berger wrote:
>>> Hi,
>>> 
>>> I'm not familiar with the Android frontend but it looks like it generates some broken Jimple. The validate function checks, for instance, that there is at least one return statement in a method. This assumption is not true for com.tebs3.battery.b: void i(). Perhaps some of the Android guys can help you.
>>> 
>>> Regards,
>>> 
>>> Bernhard
>>> 
>>> 
>>> Am 02.10.2013 um 17:14 schrieb "Yogesh A. Mujumdar" <yogesh.mujumdar at gmail.com>:
>>> 
>>>> Greetings!
>>>> 
>>>> I am using soot to transform apk to java bytecode. I am using a 32 bit
>>>> windows 7 machine(same happens on linux too). The commandline is as
>>>> shown below :
>>>> 
>>>> java -cp soot.jar soot.Main -allow-phantom-refs -android-jars
>>>> C:\\android\\sdk\\platforms -src-prec apk -process-dir KungFu.apk
>>>> 
>>>> Below is the stack trace after executing the command.
>>>> 
>>>> Soot started on Wed Oct 02 20:35:56 IST 2013
>>>> Using 'C:\\android\\sdk\\platforms\android-4\android.jar' as android.jar
>>>> Warning: com.tebs3.battery.AdTest is a phantom class!
>>>> Transforming com.tebs3.battery.p...
>>>> Transforming com.tebs3.battery.o...
>>>> Transforming com.tebs3.battery.q...
>>>> Transforming com.tebs3.battery.l...
>>>> Transforming com.tebs3.battery.k...
>>>> Transforming com.tebs3.battery.n...
>>>> Transforming com.tebs3.battery.m...
>>>> Transforming ad.imadpush.com.poster.PosterInfoActivity...
>>>> Transforming com.tebs3.battery.NewAd...
>>>> Transforming com.tebs3.battery.a...
>>>> Transforming com.tebs3.battery.b...
>>>> Exception in thread "main" java.lang.RuntimeException: Body of method <com.tebs3
>>>> .battery.b: void i()> does not contain a return statement
>>>>       at soot.jimple.JimpleBody.validateReturnStatement(JimpleBody.java:107)
>>>>       at soot.jimple.JimpleBody.validate(JimpleBody.java:76)
>>>>       at soot.baf.BafBody.<init>(BafBody.java:66)
>>>>       at soot.baf.Baf.newBody(Baf.java:560)
>>>>       at soot.PackManager.convertJimpleBodyToBaf(PackManager.java:959)
>>>>       at soot.PackManager.runBodyPacks(PackManager.java:919)
>>>>       at soot.PackManager.runBodyPacks(PackManager.java:585)
>>>>       at soot.PackManager.runBodyPacks(PackManager.java:487)
>>>>       at soot.PackManager.runPacksNormally(PackManager.java:464)
>>>>       at soot.PackManager.runPacks(PackManager.java:388)
>>>>       at soot.Main.run(Main.java:198)
>>>>       at soot.Main.main(Main.java:141)
>>>> 
>>>> 
>>>> - yam
>>>> 
>>>> http://www.flickr.com/photos/yogiam/
>>>> _______________________________________________
>>>> Soot-list mailing list
>>>> Soot-list at sable.mcgill.ca
>>>> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>>>> 
>>> 
>>> _______________________________________________
>>> Soot-list mailing list
>>> Soot-list at sable.mcgill.ca
>>> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>> 
>> 
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list

--
Prof. Eric Bodden, Ph.D., http://sse.ec-spride.de/ http://bodden.de/
Head of Secure Software Engineering  at Fraunhofer SIT, TU Darmstadt and EC SPRIDE
Tel: +49 6151 16-75422    Fax: +49 6151 16-72051
Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 841 bytes
Desc: Message signed with OpenPGP using GPGMail
Url : http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20131008/fc0bbe11/attachment-0001.bin