一、Soot的安裝與使用 1、soot簡介 Soot是McGill大學的Sable研究小組自1996年開始開發的Java字節碼分析工具，它提供了多種字節碼分析和變換功能，通過它可以進行過程內和過程間的分析優化，以及程序流圖的生成，還能通過圖形化的方式輸出，讓用戶對程序有個直觀的了解。尤其是做 ...

背景 soot沒有提供直接對jar進行分析的API [1]，需將jar包解壓，然后調用 Options.v().set_process_dir() 方法，設置分析目錄，該目錄是解壓所得的class文件（注意保持層次結構）。 期間需要注意兩點： 1. 需將class文件加入 ...

本文是對於北京大學熊英飛老師《軟件分析》課件以及南京大學李樾老師《軟件分析》課程視頻的總結。 1.哥德爾不完備定理及其在軟件分析中應用 1.1定理內容 對任意能表示自然數的系統，一定有定理不能 被證明 1.2定理應用 主流程序語言的語法+語義=能表示自然數的形式系統 。 哥德爾不完 ...

Soot生成控制流圖 1.下載jdk1.7並配置環境變量（下載地址：http://www.oracle.com/technetwork/java/javase/downloads/java-archive-downloads-javase7-521261.html ...

的軟件 1. unix/Linux系統（自帶） 2. CMake（自帶 ...

本文是對於南京大學李樾和譚添老師開設的《軟件分析》課程視頻的筆記總結。相對應的視頻在可以再B站上觀看。 1.Motivation 上節回顧 在筆記3里我學習了CHA有關的概念和用法，用一個例子來復習一下： 如上圖所示，定義了一個接口Number，然后有三個類繼承了該接口，實例化了一個 ...

項目 內容 這個作業屬於哪個課程 2021春季軟件工程（羅傑 任健） 這個作業的要求在哪里 案例分析作業 我在這個課程的目標是 認識軟工，擁抱軟工，提升相關 ...

joplin是一個開源的，提供了全平台客戶端的markdown筆記軟件，而且它支持強大的dav協議，所以非常方便的變成了基於雲盤的雲端筆記軟件。 joplin官網 joplin和堅果雲搭配使用 選擇堅果雲主要是因為，堅果雲提供的服務比較好，雖然限制流量，但是不限制速度，這點 ...