Soot控制流圖主題知識(shí)講座

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

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

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

//獲取類(lèi)路徑publicvoidaddClass(SootClassc)

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

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

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

//獲取全部SootClasspublicSootMethodgetMethod(StringmethodSignature)

//在獲取指定SootMethodpublicvoidremoveClass(SootClassc)

//從Chain<SootClass>中移除一個(gè)類(lèi)getApplicationClasses、

getLibraryClasses

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

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

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

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

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

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

//獲取超類(lèi)publicStringgetPackageName()

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

//獲取方法名publicTypegetReturnType()

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

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

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

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

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

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

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

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

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

ps等。Soot控制