[Soot-list] Error in soot analysis

Julien Klaus julien.klaus at uni-jena.de
Tue Aug 19 04:29:55 EDT 2014


Hello Stefan,

it looks like the local $r0 is not in the chain. Do you remove units 
from the chain? Maybe you delete the unit, which define $r0.
You can print your chain with:

    for(Unit u : body.getUnits())

        G.v().out.println(u);

Can you see in the outprint any unit that define or use $r0?

Regards
Julien

Am 19.08.2014 10:23, schrieb Stefan Gommer:
> Hello,
>
> I'm doing two analysis on a android apk. First I'm running a flowdroid 
> analysis to use the results given in the InfoflowResults object. Then 
> I wanted to do a soot analysis to inspect the call graph. During the 
> second analysis I'm getting this error
>
> Exception in thread "main" java.lang.RuntimeException: Local not in 
> chain : $r0 in <dummyMainClass: void dummyMainMethod()>
> at soot.Body.validateLocal(Body.java:279)
> at soot.Body.validateLocals(Body.java:267)
> at soot.Body.validate(Body.java:231)
> at soot.jimple.JimpleBody.validate(JimpleBody.java:71)
> at soot.baf.BafBody.<init>(BafBody.java:66)
> at soot.baf.Baf.newBody(Baf.java:560)
> at soot.PackManager.convertJimpleBodyToBaf(PackManager.java:956)
> at soot.PackManager.runBodyPacks(PackManager.java:916)
> at soot.PackManager.runBodyPacks(PackManager.java:584)
> at soot.PackManager.runBodyPacks(PackManager.java:487)
> at soot.PackManager.runPacksNormally(PackManager.java:464)
> at soot.PackManager.runPacks(PackManager.java:388)
> at FlowDroidTest.main(FlowDroidTest.java:87)
>
> I don't know what this means, can you help me?
>
> Thanks,
> Stefan
>
> Info:
> android.os.Bundle $r0;
> $r0 = new android.os.Bundle;
> specialinvoke $r0.<android.os.Bundle: void <init>()>();
> virtualinvoke $r0.<de.ecspride.MainActivity: void 
> onCreate(android.os.Bundle)>($r0);
> $r0 = null;
>
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at CS.McGill.CA
> https://mailman.CS.McGill.CA/mailman/listinfo/soot-list

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20140819/8b9209ce/attachment.html 


More information about the Soot-list mailing list