使用Soot生成控制流圖

Soot是一個很有效的程序分析工具，最基本的一個功能就是生成程序控制流圖（Control Flow Graph，CFG）。下面這條命令給出了使用最新的JAR包生成CFG的方法：

java -cp soot-2.5.0.jar soot.tools.CFGViewer --soot-classpath .;"%JAVA_HOME%"\jre\lib\rt.jar Elevator




要分析的class文件或源程序名爲Elevator，在sootOutput目錄下生成dot文件


graphviz


dot -Tpng -o Elevator.png ElevatorXX.dot