<div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">Hi All,</div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">I am trying to implement inter-procedural analysis using Heros, and I need to understand a few things. On high level, how intra-procedural and inter-procedural analyses fit together in Heros? </div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"><ol><li>Do we need to write an intra-procedural analysis apart from the IDE/IFDS problem, where intra-procedural analysis implements WorkList algorithm that needs to converge and IDE/IFDS will propagate facts along the way? </li><li>In case we don't need to write intra-procedural part as FlowDroid doesn't implement,</li><ol><li>How Heros implements work list algorithm? let's say we want to implement live variables analysis where back edge can change the results.</li><li>Also, How can we tell Heros to use intersection/union meet operators for branches? </li></ol></ol></div><div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">I appreciate the help!</div></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">Bests,</div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><font color="#000000">Umar Farooq</font></div><div><br></div></div></div></div>