Mariana Trench：針對Android和Java應用程序的靜態代碼分析工具

作者：Alpha_h4ck 2022-01-27 09:57:55

在這篇文章中，我們將帶領大家在自己的設備上安裝并配置好Mariana Trench，然后利用Mariana Trench在一個小型的App中尋找出一個遠程代碼執行漏洞。

關于Mariana Trench

Mariana Trench是一款功能強大的靜態代碼分析平臺，在該工具的幫助下，廣大研究人員可以輕松針對Android和Java應用程序進行靜態代碼分析。

在這篇文章中，我們將帶領大家在自己的設備上安裝并配置好Mariana Trench，然后利用Mariana Trench在一個小型的App中尋找出一個遠程代碼執行漏洞。

依賴組件

Mariana Trench的正常運行要求本地設備上安裝并配置好最新版本的Python環境。在macOS上，我們可以通過homebrew來獲取最新版本的Python：

$ brew install python3

在Debian系統上(Ubuntu、Mint、Debian)，我們可以使用apt-get來完成Python的安裝：

$ sudo apt-get install python3 python3-pip python3-venv

注意：大家還需要在本地設備上安裝并配置好AndroidSDK，并將“$ANDROID_SDK”環境變量設置為指向SDK的安裝路徑。除此之外，我們還需要在一個虛擬環境中運行，這一步可以通過下列命令實現：

$ python3 -m venv ~/.venvs/mariana-trench

$ source ~/.venvs/mariana-trench/bin/activate

(mariana-trench)$

如果你終端窗口的命令提示符前面顯示了虛擬環境的名稱，說明你的虛擬環境已經激活成功。

工具安裝

在虛擬環境中安裝Mariana Trench非常簡單，只需要運行下列命令即可：

(mariana-trench)$ pip install mariana-trench

工具運行

我們將使用一個簡單的App來進行測試，運行下列命令即可獲取測試App：

(mariana-trench)$ git clone https://github.com/facebook/mariana-trench

(mariana-trench)$ cd mariana-trench/documentation/sample-app

接下來，我們就可以執行靜態代碼分析了：

(mariana-trench)$ mariana-trench \

  --system-jar-configuration-path=$ANDROID_SDK/platforms/android-30/android.jar \

  --apk-path=sample-app-debug.apk \

  --source-root-directory=app/src/main/java

# ...

INFO Analyzed 68886 models in 4.04s. Found 4 issues!

# ...

使用Mariana Trench對測試App執行完分析后，會發現四個安全問題，分析的輸出結果將包含針對應用程序中每一個方法的相關信息。

進一步處理

分析的輸出結果其實并非人類可讀的，因此我們還需要對這些信息進行進一步處理，這里將使用到SAPP：

(mariana-trench)$ sapp --tool=mariana-trench analyze .

(mariana-trench)$ sapp --database-name=sapp.db server --source-directory=app/src/main/java

# ...

2021-05-12 12:27:22,867 [INFO]  * Running on http://localhost:5000/ (Press CTRL+C to quit)

輸出的最后一行表明SAPP開啟了一臺本地Web服務器，并允許我們直接查看分析結果。