soot中各個選單選項解釋:
ps:自己翻譯的,可能很有問題。。。
internal representation 描述soot中的四種irs,分別是baf、jimple、shimple、grimp
basic soot constructs 組成乙個方法體的基本物件
-in this section,我們主要是來關注組成乙個方法的**中所包含的物件
the data-flow framework 主要是講述怎樣在soot中利用資料流的作用
-通常,我們通過四步來進行乙個流程分析
-確定要分析的特徵有哪些
-確定可能得到的估值
-執行實際的流程
-確定初始狀態或者整體**的估計以及中間節點
-特徵分析中,soot提供了三種:
-forwardflowanalysis、backwardflowanalysis,這兩種的結果是對映:乙個是從節點到輸入的對映,乙個是從節點到輸出的對映
-forwardbranchedflowanalysis 獲取乙個分支節點上每一條分支的不同資訊
-control flow graphics soot中提供了一些不同的資料流圖(cfg)
-其中包括流程的進口和出口資訊,包含其中的節點數目
-briefunitgraph 簡單圖
-exceptionunitgraph 包括從throws語句到它的處理語句的邊,而且它還考慮到由vm丟擲的一些implicit異常
point-to analysis 介紹在soot中怎樣建立和使用兩種以上的高階框架來進行point-to分析
-計算乙個函式可能的返回值
-spark
-paddle
extract abstract control-flow graph 描述怎樣利用soot來提取乙個自定義的irs
關於Soot的 process dir引數
個人對soot的印象是可參考的文件比較豐富,而且維護者回郵件很快。在具體使用上面,soot class path時不時會出現一點狀況,這個有待於深入研究後詳細記錄一下。而今天記錄的是關於 process dir的兩個小東西 1 soot支援多個 process dir,即命令列soot.main p...
學習後總結,總結後再學習
學習後總結,總結後再學習 2010年畢業以來,讀了幾百本書籍,包括it技術 管理 歷史 營銷 金融 心理等等,在讀某商學院mba一年後感覺有些東西還是要寫寫,除了能增加自己對某些知識和理論的理解外,也許其他人也碰巧想關注一下,了解這方面的東西。我所寫的都是一些簡單的概念層面的解釋,不會做太深入的闡述...
學習總結 近期acm學習的總結
開學已經乙個月了,對acm的學習也乙個月了,做了一下總結 對自己不好的地方的反省 1.開學一開始學的是stl,不得不說stl是乙個很好的東西,熟練的運用stl大大的減少了 量,也使演算法容易實現。但是我在用stl後使自己產生了一種惰性思維。在兩個星期的stl練習後,我發現自己變得越來越懶,不願意自己...