私は現在、制御フローグラフを視覚化するためにGraphvizを使用しています。基本的に、（削減可能な）制御フローグラフは、DAGに加えて、前のレイヤーのノードを指すいくつかのエッジです。後者のエッジはノードの配置に影響を与えないはずです。
現在、dotグラフはかなりきれいに描画されますが、非常に大きなグラフの分析には貴重なインタラクティブ機能（折りたたみ、スクロール、ズームなど）を追加する簡単な方法がありません。したがって、私はd3.jsを最も成熟した機能豊富なグラフ作成ライブラリとして選択しました。
d3.jsで（そうするように）階層化されたグラフを描く簡単な方法があると確信していdotますが、私はそれを認識していないようです。それ、どうやったら出来るの？これが役に立ったら、私はすでにCFGでドミネーター分析を実行しています。