<div dir="ltr"><div><div><div>I have been trying to find a series of conditions under which a path executes. I could find a post in this mailing list from 2012, which says it is possible with ForwardBranchedFlowAnalysis. Still I am not clear with how can the conditions be propagated and aggregated for goto&#39;s and if&#39;s generated as a result of various programming constructs.<br>
</div>Can someone describe the specific details, or provide a link to some paper/code-snippet where conditions are propagated through the various paths of a program in Soot?<br><br></div>Thanks and regards,<br></div>Manas<br>
</div>