Argus SAF

Argus-Saf: Argus Static Analysis Pramework

Это официальное репорторий для 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 в качестве библиотеки

Зависит от Jawa, редактируя build.sbt :

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

Зависит от Amandroid, редактируя build.sbt :

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

Обратите внимание, что: зависит от Amandroid автоматически добавить Jawa в качестве зависимости. Если вы используете Maven или Gradle, вы должны перевести его в соответствующий формат.

Получение инструмента Argus-Saf CLI

Требование: Java 10

1. Goto Binary Polder.
2. Скачать argus-saf _ ***-версия assembly.jar
3. Получите использование с помощью:

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

Развитие Argus-Saf

Чтобы принять участие в разработке Argus-SAF, вам нужно:

1. Установите следующее программное обеспечение:

   • Intellij Idea 14 или выше с совместимой версией плагина Scala

2. Разветвляй это хранилище и клонируйте его на свой компьютер

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

3. Откройте идею IntelliJ, выберите File -> New -> Project from existing sources (если из начального окна: Import Project ), укажите на каталог, где находится репозиторий Argus -SAF, а затем импортируйте его как SBT project .

4. При завершении импорта перейдите в Directory Argus-Saf Repo и запустите

 $ git checkout .idea

Чтобы получить артефакты и запустить конфигурации для Idea Project.

5. [Необязательно] Чтобы создать Argus-SAF более гладкий, вы должны дать 2 ГБ размера кучи процессу компилятора.

   • Если вы используете Scala Compile Server (по умолчанию): Settings > Languages & Frameworks > Scala Compile Server > JVM maximum heap size

   • Если Scala Compil Server отключен: Settings > Build, Execution, Deployment > Compiler > Build process heap size

6. Создайте Argus-Saf из командной строки: перейдите в каталог Argus-Saf Repo и запустите

 $ tools/bin/sbt clean compile test

7. Генерировать жирную банку: перейдите в каталог Argus-Saf Repo и запустите

 $ tools/bin/sbt assembly

Установите Jn-Saf с NativEdroid

Установите 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 для нативного анализа

1. Установите nativedroid:

 $ tools/scripts/install.sh nativedroid

2. Start Nativedroid Server:

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

3. Используйте nativedroidclient.scala для связи с сервером Nativedroid для выполнения собственного анализа.

Поиск неисправностей:

1. Если код Python в IntelliJ показывает неразрешенный импорт, вы должны вручную импортировать папку Nativedroid в качестве модуля Python и установить Python SDK. Рекомендую использовать Python VirtualEnv для установки NatiVEROID с его необходимыми пакетами Python.

Bazel Build

Интеграция Базеля в прогрессе. На данный момент игнорируйте все файлы сборки.

Как внести свой вклад

Чтобы внести свой вклад в Argus-Saf, пожалуйста, отправьте нам запрос на привлечение из вашей вилки этого репозитория!

Для получения дополнительной информации о создании и разработке Argus-SAF, пожалуйста, ознакомьтесь с нашими рекомендациями для участия. Люди, которые предоставили отличные идеи, перечислены в участнике.

Что внести

Если вы не знаете, что внести вклад, вы можете проверить трекер проблемы с help wanted и претендовать на один, чтобы помочь себе согреться с Argus-Saf.