Soot控制流圖主題知識講座

例會匯報.07.08Soot控制流圖主題知識講座第1頁目錄Soot在Prime中應(yīng)用Soot控制流圖Soot控制流圖主題知識講座第2頁Soot在Prime中應(yīng)用輸入ClassJavaJarPrimeSceneSootClassSootMethodBodySootAppAppClassAppMeghodDeclAppMeghodDeclAppTypeload實(shí)現(xiàn)接口ConverterStackHistoryConverterHistoryCLusterwekaConverter模式聚類輸出DotXmlHistory-CollectionSoot控制流圖主題知識講座第3頁SceneScene：即場景類，代表完整環(huán)境，是各種分析發(fā)生環(huán)境。經(jīng)過場景類能夠設(shè)置分析對象，如應(yīng)用程序類、主類及獲取信息過程之間分析。在Prime中Scene用來管理被分析SootClass。publicSootClassgetMainClass()

//獲取含有Main方法類publicSootMethodgetMainMethod()

//獲取Main方法Soot控制流圖主題知識講座第4頁ScenepublicStringgetSootClassPath()

//獲取類路徑publicvoidaddClass(SootClassc)

//在Chain<SootClass>中增加一個類，Chain類似ListpublicvoidremoveClass(SootClassc)

//從Chain<SootClass>中移除一個類publicbooleancontainsClass(StringclassName)

//判斷Chain<SootClass>中是否已經(jīng)存在該類Soot控制流圖主題知識講座第5頁ScenepublicChain<SootClass>getClasses()

//獲取全部SootClasspublicSootMethodgetMethod(StringmethodSignature)

//在獲取指定SootMethodpublicvoidremoveClass(SootClassc)

//從Chain<SootClass>中移除一個類getApplicationClasses、

getLibraryClasses

//分別為獲取應(yīng)用類、獲取類庫類Soot控制流圖主題知識講座第6頁SootClass代表裝入或使用Soot單一類，即一個Javaclass在Soot中表示，通常由Scene創(chuàng)建publicChain<SootField>getFields()

//獲取類全部屬性publicvoidaddField(SootFieldf)

//在Chain<SootField>增加一個屬性publicvoidremoveField(SootFieldf)

//從Chain<SootField>中移除指定屬性Soot控制流圖主題知識講座第7頁SootClasspublicSootMethodgetMethod(Stringsubsignature)

//依據(jù)指定標(biāo)識獲取SootMethodpublicvoidaddMethod(SootMethodm)

//向List<SootMthod>中增加一條方法publicSootClassgetSuperclass()

//獲取超類publicStringgetPackageName()

//獲取類包名Soot控制流圖主題知識講座第8頁SootMethod代表某個類單一方法，即一個Java方法在Soot中表示，它屬于SootClass中一個方法申明，并不包含實(shí)際代碼，實(shí)際方法代碼屬于Body。publicStringgetName()

//獲取方法名publicTypegetReturnType()

//獲取方法返回類型publicintgetParameterCount()

//獲取方法參數(shù)個數(shù)Soot控制流圖主題知識講座第9頁SootMethodpublicTypegetParameterType(intn)

//獲取指定位置參數(shù)類型publicBodygetActiveBody()

//獲取方法Body對象Soot控制流圖主題知識講座第10頁Body代表某個方法方法體，即Java方法代碼屬性，Soot用一個Body為一個方法存放代碼publicSootMethodgetMethod()

//獲取擁有該BodySootMethodpublicPatchingChain<Unit>getUnits()

//？？？publicList<ValueBox>getUseBoxes()

//？？？Soot控制流圖主題知識講座第11頁Soot控制流圖控制流圖是對程序中函數(shù)邏輯結(jié)構(gòu)圖形化表示Soot對于多源程序優(yōu)化：Soot控制流圖主題知識講座第12頁Soot中間轉(zhuǎn)換技術(shù)Soot提供了4種中間表示IR（IntermediateRepresentation），來處理基于棧Java字節(jié)碼在優(yōu)化和變換中存在問題，實(shí)現(xiàn)優(yōu)化。它們分別為Jimple、BAFShimple及Grimp。Soot控制流圖主題知識講座第13頁Jimple中間文件Jimple文件從程序源代碼中獲得程序結(jié)構(gòu)信息。經(jīng)過Jimple文件對源程序進(jìn)行語法分析，可從中獲得程序指令節(jié)點(diǎn)之間直接控制流傳遞關(guān)系Soot控制流圖主題知識講座第14頁函數(shù)調(diào)用關(guān)系矩陣Jimple中每一個label對應(yīng)控制節(jié)點(diǎn)對應(yīng)關(guān)系都會在鄰接矩陣中反應(yīng)出來，從而得到j(luò)ava程序調(diào)用路徑Soot控制流圖主題知識講座第15頁調(diào)用路徑Soot控制流圖主題知識講座第16頁控制流圖圖形化輸出Soot控制流圖可視化工具soot.tools.CFGViewer利用Soot框架

提供功效，分析類中每個方法控制流，并生成以DOT語言描述控制流圖。DOT是一個抽象圖形描述語言，想要控制流圖以幾何圖形

方式顯示出來，需要將其轉(zhuǎn)換成可視化圖形格式，如gif、svg、

ps等。Soot控制