Argus SAF下載 - Argus SAF源代碼下載

Argus SAF

其他類別

ving, new summary language, and many more.

下載

Argus-SAF：Argus靜態分析框架

這是Argus-SAF的官方記者。

對於Argus-SAF進行測試和播放，您可以從我們的Argus-SAF-Playground項目中分配，該項目具有基本的設置，該設置具有Argus-SAF增強項目的基本設置，其中包括如何執行不同類型的分析的演示代碼。

存儲庫結構

 Argus-SAF/
+--src/main/scala/org.argus.saf/Main.scala     Main class for argus-saf CLI.
+--jawa         Core static analysis data structures, "*.class"&"*.jawa" file managing, jawa compiler, class hierarchy, method body resolving, flow analysis, etc.
+--amandroid    Android resource parsers, information collector, decompiler, environment method builder, flow analysis, etc.
+--jnsaf        Java native interface analysis.
+--nativedroid  Annotation based analysis using angr symbolic execution engine.

獲取Argus-Saf作為庫

通過編輯build.sbt來依賴爪哇：

 libraryDependencies += "com.github.arguslab" %% "jawa" % VERSION

通過編輯build.sbt來依賴amandroid：

 libraryDependencies += "com.github.arguslab" %% "amandroid" % VERSION

請注意：依賴於Amandroid會自動將JAWA添加為依賴關係。如果使用Maven或Gradle，則應將其轉換為相應的格式。

獲取Argus-SAF CLI工具

要求：Java 10

goto binaries文件夾。
下載argus-saf _ *** - 版本-sembly.jar
通過：

 $ java -jar argus-saf_***-version-assembly.jar

開發argus-saf

為了參與Argus-SAF開發，您需要：

安裝以下軟件：
- Intellij Idea 14或更高版本與Scala插件的兼容版本
將此存儲庫分配並克隆到您的計算機

 $ git clone https://github.com/arguslab/Argus-SAF.git

打開Intellij Idea， File -> New -> Project from existing sources （如果是從初始窗口： Import Project ），請指向Argus -SAF存儲庫所在的目錄，然後將其導入為SBT project 。
導入完成後，請轉到Argus-SAF回購目錄並運行

 $ git checkout .idea

為了獲取工件並為IDEA項目運行配置。

[可選]為了使argus-saf更平滑，您應該將堆尺寸的2GB給予編譯器過程。
- 如果使用Scala編譯服務器（默認）： Settings > Languages & Frameworks > Scala Compile Server > JVM maximum heap size
- 如果禁用了Scala編譯服務器： Settings > Build, Execution, Deployment > Compiler > Build process heap size
從命令行構建Argus-SAF：轉到Argus-SAF repo目錄並運行

 $ tools/bin/sbt clean compile test

產生胖罐子：轉到Argus-SAF回購目錄並運行

 $ tools/bin/sbt assembly

使用Nativedroid安裝JN-SAF

安裝JN-Saf和NativeDroid ：

 $ tools/scripts/install.sh

您可以通過以下方式安裝一個：

 $ tools/scripts/install.sh jnsaf
$ tools/scripts/install.sh nativedroid

運行基準測試

安裝JN-Saf和NativeDroid之後。跑步：

 $ tools/scripts/benchmark_cli.sh droidbench
$ tools/scripts/benchmark_cli.sh iccbench
$ tools/scripts/benchmark_cli.sh nativeflowbench

啟動JN-SAF進行本地分析

安裝Nativedroid：

 $ tools/scripts/install.sh nativedroid

啟動Nativedroid服務器：

 $ python nativedroid/nativedroid/server/native_droid_server.py /tmp/binaries nativedroid/nativedroid/data/sourceAndSinks/NativeSourcesAndSinks.txt nativedroid/data/sourceAndSinks/TaintSourcesAndSinks.txt