[Soot-list] Validate Interprocedural Control Flow Graph

Kshitij Sudhir Gorde kgorde at uncc.edu
Fri Dec 8 10:58:46 EST 2017


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/20171208/714299d1/attachment.html>


More information about the Soot-list mailing list