[Soot-list] Validate Interprocedural Control Flow Graph

[Arzt, Steven]

Hi,

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.

Best regards,
  Steven

Von: Soot-list [mailto:soot-list-bounces at cs.mcgill.ca] Im Auftrag von Kshitij Sudhir Gorde
Gesendet: Freitag, 8. Dezember 2017 16:59
An: soot-list at cs.mcgill.ca
Betreff: [Soot-list] Validate Interprocedural Control Flow Graph

Within a scene transformer, I've used
InterproceduralCFG icfg = new JimpleBasedInterproceduralCFG();
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.
Anyone knows how to atleast visualize this graph?. Or export it in some Graph language (like DOT?)

--
Warm Regards,
Kshitij Gorde
Grad Student
University of North Carolina at Charlotte
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20171211/2746b59d/attachment.html>