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

[Yogesh A. Mujumdar]

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
>
>