[Soot-list] Insertion point not found in chain

[Wei Yang]

Hi!
    I was using FlowDroid to run this apk (
https://dl.dropboxusercontent.com/u/37908210/wsj.reader_sp.apk). FlowDroid
throws following exceptions. It seems like some bugs in constant
propagation, but I'm not sure.

[main] INFO
soot.jimple.infoflow.util.InterproceduralConstantValuePropagator - Removing
side-effect free methods is enabled
Exception in thread "main" java.lang.RuntimeException: Insertion point not
found in chain!
at soot.util.HashChain.insertBefore(HashChain.java:173)
at soot.PatchingChain.insertBefore(PatchingChain.java:141)
at
soot.jimple.infoflow.util.InterproceduralConstantValuePropagator.fixExceptions(InterproceduralConstantValuePropagator.java:483)
at
soot.jimple.infoflow.util.InterproceduralConstantValuePropagator.fixExceptions(InterproceduralConstantValuePropagator.java:409)
at
soot.jimple.infoflow.util.InterproceduralConstantValuePropagator.propagateReturnValueIntoCallers(InterproceduralConstantValuePropagator.java:388)
at
soot.jimple.infoflow.util.InterproceduralConstantValuePropagator.internalTransform(InterproceduralConstantValuePropagator.java:159)
at soot.SceneTransformer.transform(SceneTransformer.java:39)
at soot.SceneTransformer.transform(SceneTransformer.java:45)
at soot.SceneTransformer.transform(SceneTransformer.java:50)
at soot.jimple.infoflow.Infoflow.eliminateDeadCode(Infoflow.java:713)
at soot.jimple.infoflow.Infoflow.runAnalysis(Infoflow.java:467)
at soot.jimple.infoflow.Infoflow.computeInfoflow(Infoflow.java:302)
at
soot.jimple.infoflow.android.SetupApplication.runInfoflow(SetupApplication.java:527)
at soot.jimple.infoflow.android.TestApps.Test.runAnalysis(Test.java:514)
at soot.jimple.infoflow.android.TestApps.Test.main(Test.java:208)

Thanks!
Wei
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20150217/e3f34e3c/attachment.html