Soot產生代碼控制流程圖

標籤：進入   java7   png   圖形   代碼   bsp   目前的目錄   檔案   功能   

Soot可以對代碼進行分析，提供了多種位元組碼分析和變換功能，通過它可以進行過程內和過程間的分析最佳化，以及程式流圖的產生，還能通過圖形化的方式輸出。

http://www.brics.dk/SootGuide/上面有官方的guide

 

1. 環境準備：

a. 下載安裝java7，不能用java8 （soot3.0.1可以用java8）

b. 下載soot jar包 https://www.sable.mcgill.ca/soot/soot_download.html

c. 設定好 JAVA_HOME

d. 將soot-2.5.0.jar和test.java檔案放到同一個目錄下，如 D:\\testflow

 

2. 運行步驟

a. 命令列方式進入D:\\testflow， 編譯java源檔案   javac test.java

 

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

，在目前的目錄下會產生sootOutput檔案夾，產生test.dot檔案 

 

c. 下載graphviz（任意版本），解壓後bin目錄裡運行dot -Tpng test.dot -o testflow.png

產生的控制流程圖如下：

 

Soot產生代碼控制流程圖