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

[Yogesh A. Mujumdar]

Hi Narayana,

I am not doing any kind of control flow or program analysis. I am
simply trying to transform or convert apk file to Java bytecode using
soot. Let me know if you can figure out anything from the stacktrace
posted.

- yam

http://www.flickr.com/photos/yogiam/



On Wed, Oct 2, 2013 at 9:12 PM, Narayana Reddy Y
<narayana1208 at iiitd.ac.in> wrote:
> Hi,
>     you can use flowdroid to perform such analyis provided by same community
>
>
> On Wed, Oct 2, 2013 at 8:44 PM, Yogesh A. Mujumdar
> <yogesh.mujumdar at gmail.com> wrote:
>>
>> 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
>
>
>
>
> --
> Thanks and Regards,
> Y.Narayana Reddy,
> http://member.acm.org/~narayanareddy3
>       IIIT-Delhi