Class ICFGDotVisualizer


  • public class ICFGDotVisualizer
    extends Object
    • Constructor Detail

      • ICFGDotVisualizer

        public ICFGDotVisualizer​(String fileName,
                                 Unit startPoint,
                                 heros.InterproceduralCFG<Unit,​SootMethod> icfg)
        This class will save your ICFG in DOT format by traversing the ICFG Depth-first!
        Parameters:
        fileName - : Name of the file to save ICFG in DOT extension
        startPoint - : This is of type Unit and is the starting point of the graph (eg. main method)
        InterproceduralCFG - : Object of InterproceduralCFG which represents the entire ICFG
    • Method Detail

      • exportToDot

        public void exportToDot()
        For the given file name, export the ICFG into DOT format. All parameters initialized through the constructor