<div dir="ltr"><div class="gmail_default" style="font-family:"times new roman",serif">Hi Steven, </div><div class="gmail_default" style="font-family:"times new roman",serif"> Thanks for replying. However, I'm not sure how to exactly get an icfg for my test jar file. I've created a jar file with 1 class which has the following structure</div><div class="gmail_default" style="font-family:"times new roman",serif">class Main{</div><div class="gmail_default" style="font-family:"times new roman",serif"> public static void main(String[] args){</div><div class="gmail_default" style="font-family:"times new roman",serif"> }</div><div class="gmail_default" style="font-family:"times new roman",serif">}</div><div class="gmail_default" style="font-family:"times new roman",serif">#Basically there's nothing in that class. I just want to use it for testing purposes. Now, how do I get an ICFG for this jar file (giving jar as the input). . Is, <span style="color:rgb(36,41,46);font-family:SFMono-Regular,Consolas,"Liberation Mono",Menlo,Courier,monospace;font-size:11.9px;background-color:rgba(27,31,35,0.05)">InterproceduralCFG icfg = new JimpleBasedInterproceduralCFG(</span><wbr style="color:rgb(36,41,46);font-family:SFMono-Regular,Consolas,"Liberation Mono",Menlo,Courier,monospace;font-size:11.9px"><span style="color:rgb(36,41,46);font-family:SFMono-Regular,Consolas,"Liberation Mono",Menlo,Courier,monospace;font-size:11.9px;background-color:rgba(27,31,35,0.05)">); </span></div><div class="gmail_default" style="font-family:"times new roman",serif">the right way to do it?. I'm not able to understand, what output I'm getting by calling icfg. allNonCallStartNodes(). This surely isn't from my input (the input is a set of over 200000 nodes).</div><div class="gmail_default" style="font-family:"times new roman",serif">How to get to to print ICFG for my custom jar file?. I'd really appreciate some help as I'm on a deadline for a paper!<span style="color:rgb(36,41,46);font-family:SFMono-Regular,Consolas,"Liberation Mono",Menlo,Courier,monospace;font-size:11.9px;background-color:rgba(27,31,35,0.05)"><br></span></div><div class="gmail_default" style="font-family:"times new roman",serif">Thanks</div><div class="gmail_default" style="font-family:"times new roman",serif"><span style="color:rgb(36,41,46);font-family:SFMono-Regular,Consolas,"Liberation Mono",Menlo,Courier,monospace;font-size:11.9px;background-color:rgba(27,31,35,0.05)"><br></span></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Dec 11, 2017 at 11:34 AM, Arzt, Steven <span dir="ltr"><<a href="mailto:steven.arzt@sit.fraunhofer.de" target="_blank">steven.arzt@sit.fraunhofer.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div lang="DE" link="#0563C1" vlink="#954F72">
<div class="m_-4279424450038585987WordSection1">
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:#1f497d">Hi,<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:#1f497d"><u></u> <u></u></span></p>
<p class="MsoNormal"><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:#1f497d">If you need a dot visualization of the graph, you need to print it out in the dot format on your own. That should be easy
to do, just iterate over the graph and write it out. Then use a tool such as GraphViz to render a graphic from it.<u></u><u></u></span></p>
<p class="MsoNormal"><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:#1f497d"><u></u> <u></u></span></p>
<p class="MsoNormal"><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:#1f497d">Best regards,<u></u><u></u></span></p>
<p class="MsoNormal"><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:#1f497d"> Steven<u></u><u></u></span></p>
<p class="MsoNormal"><span lang="EN-US"><u></u> <u></u></span></p>
<p class="MsoNormal"><b><span style="font-size:11.0pt;font-family:"Calibri",sans-serif">Von:</span></b><span style="font-size:11.0pt;font-family:"Calibri",sans-serif"> Soot-list [mailto:<a href="mailto:soot-list-bounces@cs.mcgill.ca" target="_blank">soot-list-bounces@cs.<wbr>mcgill.ca</a>]
<b>Im Auftrag von </b>Kshitij Sudhir Gorde<br>
<b>Gesendet:</b> Freitag, 8. Dezember 2017 16:59<br>
<b>An:</b> <a href="mailto:soot-list@cs.mcgill.ca" target="_blank">soot-list@cs.mcgill.ca</a><br>
<b>Betreff:</b> [Soot-list] Validate Interprocedural Control Flow Graph<u></u><u></u></span></p><div><div class="h5">
<p class="MsoNormal"><u></u> <u></u></p>
<div>
<div>
<p class="MsoNormal"><span style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:#24292e">Within a scene transformer, I've used<br>
</span><code><span style="font-size:9.0pt;font-family:Consolas;color:#24292e">InterproceduralCFG icfg = new JimpleBasedInterproceduralCFG(<wbr>);</span></code><span style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:#24292e"><br>
to get an ICFG. Now, how do I know whether it's correct or not?. I want to generate an adjacency matrix from this graph. If I print out this icfg using toString() then it just prints out a huge string.<br>
Anyone knows how to atleast visualize this graph?. Or export it in some Graph language (like DOT?)</span><br clear="all">
<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
<p class="MsoNormal">-- <u></u><u></u></p>
<div>
<div>
<div>
<div>
<div>
<p class="MsoNormal">Warm Regards, <u></u><u></u></p>
</div>
<p class="MsoNormal">Kshitij Gorde<u></u><u></u></p>
</div>
<p class="MsoNormal">Grad Student<u></u><u></u></p>
</div>
<p class="MsoNormal">University of North Carolina at Charlotte<u></u><u></u></p>
</div>
</div>
</div>
</div></div></div>
</div>
</blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div><div>Warm Regards, <br></div>Kshitij Gorde<br></div>Grad Student<br></div>University of North Carolina at Charlotte<br></div></div>
</div>