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

[Alexandre Bartel]

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