Visualizing Soot graphs

Notes on visualizing Soot CFGs:

Run Soot with appropriate dump options. e.g.

-pp -dump-cfg jap.sjenvanalyse -p jap.sjenvanalyse enabled:true -p tag.sjenvaggregator enabled:true -cp /home/karthik/projects/sjenv/bin test.basic.CFG

for the command line shown above, the generated .dot file can be found in the sub folders of sootOutput/test.basic.CFG

to generate a pdf out of the .dot file using graphviz , use

dot jap.sjenvanalyse-BriefUnitGraph-0.dot -T pdf -o whiledo.pdf