<html><body><div style="color:#000; background-color:#fff; font-family:Courier New, courier, monaco, monospace, sans-serif;font-size:13px"><div id="yui_3_16_0_1_1435795709338_285348" dir="ltr"><span id="yiv6114787365yui_3_16_0_1_1436416321149_22411" style="font-size: small;" class="">Hi, </span></div><div id="yui_3_16_0_1_1435795709338_285348" dir="ltr"><span style="font-size: small;" class="" id="yui_3_16_0_1_1435795709338_290005"><br class="">I have tried to use "</span><span class="" id="yiv6114787365yui_3_16_0_1_1436416321149_20645" style="font-size: small;">JimpleBasedInterproceduralCFG"</span><span class="" id="yiv6114787365yui_3_16_0_1_1436416321149_20646" style="font-size: small;">, but it is not clear to me how can I use its methods, how can I use it to construct the application CFG and how to iterate through this graph. For iterating on </span><span style="font-size: small;" class="" id="yui_3_16_0_1_1435795709338_285404">application CFG, we must uses "</span>getSuccsOf(unit)" method, but this method needs an input parameter with unit type. The problem is that I do not know how can I initialize this input parameter before starting to iterate over the graph. </div><div id="yui_3_16_0_1_1435795709338_285348" dir="ltr"><span class="" id="yiv6114787365yui_3_16_0_1_1436416321149_22159" style="font-size: small;">I looked at </span><a rel="nofollow" shape="rect" class="" id="yiv6114787365yui_3_16_0_1_1436416321149_21661" target="_blank" href="https://github.com/Sable/soot/tree/develop/src/soot/jimple/toolkits/ide/exampleproblems" style="text-decoration: none; color: purple; font-size: small; border: 0px; vertical-align: baseline; cursor: pointer; background-color: rgb(255, 255, 255);">https://github.com/Sable/soot/ tree/develop/src/soot/jimple/ toolkits/ide/exampleproblems</a><span style="font-size: small;" class="" id="yui_3_16_0_1_1435795709338_285401">, but it could not help me</span><span id="yiv6114787365yui_3_16_0_1_1436416321149_21663" style="font-size: small;" class="">.</span><span id="yiv6114787365yui_3_16_0_1_1436416321149_21663" class="" style="font-size: small;"> Is there any example shows how can iterate over </span><span class="" id="yiv6114787365yui_3_16_0_1_1436416321149_20646" style="font-size: small;">the CFG constructed using </span><span class="" id="yui_3_16_0_1_1435795709338_285404" style="font-size: small;">JimpleBasedInterproceduralCFG? or </span><span style="font-size: small;" class="" id="yui_3_16_0_1_1435795709338_290004">Is there any example that uses this class which I can look at to do my implementation? </span></div><div></div><div id="yui_3_16_0_1_1435795709338_285349"><br></div><div id="yui_3_16_0_1_1435795709338_285349">Best Regards,</div><div id="yui_3_16_0_1_1435795709338_285349">Marjan</div></div></body></html>