[Soot-list] Validate Interprocedural Control Flow Graph

[Linghui Luo]

Hi,

There is an utility class for generating dot graph file called “soot.tools.CFGViewer”.

Best regards,
Linghui

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/cb7a56a6/attachment-0001.html>