<div dir="ltr"><div>Hi! </div><div>    I was using FlowDroid to run this apk (<a href="https://dl.dropboxusercontent.com/u/37908210/wsj.reader_sp.apk">https://dl.dropboxusercontent.com/u/37908210/wsj.reader_sp.apk</a>). FlowDroid throws following exceptions. It seems like some bugs in constant propagation, but I&#39;m not sure.</div><div><br></div><div><div>[main] INFO soot.jimple.infoflow.util.InterproceduralConstantValuePropagator - Removing side-effect free methods is enabled</div><div>Exception in thread &quot;main&quot; java.lang.RuntimeException: Insertion point not found in chain!</div><div><span class="" style="white-space:pre">        </span>at soot.util.HashChain.insertBefore(HashChain.java:173)</div><div><span class="" style="white-space:pre">        </span>at soot.PatchingChain.insertBefore(PatchingChain.java:141)</div><div><span class="" style="white-space:pre">        </span>at soot.jimple.infoflow.util.InterproceduralConstantValuePropagator.fixExceptions(InterproceduralConstantValuePropagator.java:483)</div><div><span class="" style="white-space:pre">        </span>at soot.jimple.infoflow.util.InterproceduralConstantValuePropagator.fixExceptions(InterproceduralConstantValuePropagator.java:409)</div><div><span class="" style="white-space:pre">        </span>at soot.jimple.infoflow.util.InterproceduralConstantValuePropagator.propagateReturnValueIntoCallers(InterproceduralConstantValuePropagator.java:388)</div><div><span class="" style="white-space:pre">        </span>at soot.jimple.infoflow.util.InterproceduralConstantValuePropagator.internalTransform(InterproceduralConstantValuePropagator.java:159)</div><div><span class="" style="white-space:pre">        </span>at soot.SceneTransformer.transform(SceneTransformer.java:39)</div><div><span class="" style="white-space:pre">        </span>at soot.SceneTransformer.transform(SceneTransformer.java:45)</div><div><span class="" style="white-space:pre">        </span>at soot.SceneTransformer.transform(SceneTransformer.java:50)</div><div><span class="" style="white-space:pre">        </span>at soot.jimple.infoflow.Infoflow.eliminateDeadCode(Infoflow.java:713)</div><div><span class="" style="white-space:pre">        </span>at soot.jimple.infoflow.Infoflow.runAnalysis(Infoflow.java:467)</div><div><span class="" style="white-space:pre">        </span>at soot.jimple.infoflow.Infoflow.computeInfoflow(Infoflow.java:302)</div><div><span class="" style="white-space:pre">        </span>at soot.jimple.infoflow.android.SetupApplication.runInfoflow(SetupApplication.java:527)</div><div><span class="" style="white-space:pre">        </span>at soot.jimple.infoflow.android.TestApps.Test.runAnalysis(Test.java:514)</div><div><span class="" style="white-space:pre">        </span>at soot.jimple.infoflow.android.TestApps.Test.main(Test.java:208)</div></div><div><br></div><div>Thanks!</div><div>Wei</div><div><br></div></div>