1、例會(huì)報(bào)告2014.07.081目錄Soot在Prime中的應(yīng)用Soot控制流圖2Soot在Prime中的應(yīng)用輸入ClassJavaJarPrimeSceneSootClassSootMethodBodySootAppAppClassAppMeghodDeclAppMeghodDeclAppTypeload實(shí)現(xiàn)接口ConverterStackHistoryConverterHistoryCLusterwekaConverter模式聚類輸出DotXmlHistory-Collection3SceneScene：即場(chǎng)景類，代表完整環(huán)境，是各種分析發(fā)生的 環(huán)境。通過(guò)場(chǎng)景類可以設(shè)置分析對(duì)象，如應(yīng)用程序類

2、、主 類及獲取信息的過(guò)程之間的分析。在Prime中Scene用來(lái)管理被分析的SootClass。 public SootClass getMainClass()/獲取含有Main方法的類public SootMethod getMainMethod()/獲取Main方法4Scenepublic String getSootClassPath()/獲取類路徑public void addClass(SootClass c)/在Chain中增加一個(gè)類，Chain類似Listpublic void removeClass(SootClass c)/從Chain中移除一個(gè)類public boolean

3、 containsClass(String className)/判斷Chain中是否已經(jīng)存在該類5Scenepublic Chain getClasses()/獲取所有的SootClasspublic SootMethod getMethod(String methodSignature)/在獲取指定的SootMethod public void removeClass(SootClass c)/從Chain中移除一個(gè)類getApplicationClasses 、 getLibraryClasses/分別為獲取應(yīng)用類、獲取類庫(kù)類6SootClass代表裝入或使用Soot的單一類，即一個(gè)Ja

4、va class在Soot中的表示，通常由Scene創(chuàng)建public Chain getFields()/獲取類的所有的屬性public void addField(SootField f) /在Chain增加一個(gè)屬性public void removeField(SootField f) /從Chain中移除指定的屬性7SootClasspublic SootMethod getMethod(String subsignature)/根據(jù)指定的標(biāo)記獲取SootMethodpublic void addMethod(SootMethod m)/向List中增加一條方法 public SootC

5、lass getSuperclass()/獲取超類public String getPackageName()/獲取類的包名8SootMethod代表某個(gè)類的單一方法，即一個(gè)Java方法在Soot中的表示，它屬于SootClass中的一個(gè)方法聲明，并不包含實(shí)際的代碼，實(shí)際的方法代碼屬于Body。 public String getName()/獲取方法名 public Type getReturnType()/獲取方法的返回類型public int getParameterCount()/獲取方法參數(shù)的個(gè)數(shù)9SootMethodpublic Type getParameterType(int

6、n)/獲取指定位置參數(shù)的類型 public Body getActiveBody()/獲取方法的Body對(duì)象10Body代表某個(gè)方法的方法體，即Java方法的代碼屬性，Soot用一個(gè)Body為一個(gè)方法存儲(chǔ)代碼public SootMethod getMethod()/獲取擁有該Body的SootMethodpublic PatchingChain getUnits()/？public List getUseBoxes()/？11Soot控制流圖控制流圖是對(duì)程序中函數(shù)邏輯結(jié)構(gòu)的圖形化表示Soot對(duì)于多源程序的優(yōu)化：12Soot的中間轉(zhuǎn)換技術(shù)Soot提供了4種中間表示IR（Intermediate

7、 Representation） ，來(lái)解決基于棧的Java字節(jié)碼在優(yōu)化和變換中存在的問(wèn)題，實(shí)現(xiàn)優(yōu)化。它們分別為Jimple、BAF Shimple及Grimp 。13Jimple中間文件Jimple文件從程序的源代碼中獲得程序的結(jié)構(gòu)信息。通過(guò)Jimple文件對(duì)源程序進(jìn)行語(yǔ)法分析，可從中獲得程序指令節(jié)點(diǎn)之間直接控制流傳遞關(guān)系14函數(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)用路徑 15調(diào)用路徑16控制流圖圖形化輸出Soot控制流圖可視化工具soot.tools.CFGViewer利用Soot框架 提供的功能，分析類中每個(gè)方法的控制流，并生成以DOT語(yǔ)言 描述的控制流圖。DOT是一種抽象的圖形描述語(yǔ)言，想要控制流圖以幾何圖形的 方式顯示出來(lái)，需要將其轉(zhuǎn)換成可視化