Descargar Argus SAF - Descargar el código fuente de Argus SAF

Argus SAF

Otras categorias

ving, new summary language, and many more.

Descargar

Argus-SAF: Marco de análisis estático Argus

Este es un perrero oficial para el Argus-Saf.

Para la prueba y el juego con Argus-SAF, puede bifurcar de nuestro proyecto Argus-Saf-Playground, que tiene la configuración básica para un proyecto mejorado Argus-SAF con códigos de demostración de cómo realizar diferentes tipos de análisis.

Estructura de repositorio

 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.

Obteniendo argus-saf como biblioteca

Depende de Jawa editando build.sbt :

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

Depende de Amandroid editando build.sbt :

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

Tenga en cuenta que: depender de Amandroid agregará automáticamente Jawa como dependencia. Si usa Maven o Gradle, debe traducirlo al formato correspondiente.

Obtención de la herramienta CLI Argus-SAF

Requisito: Java 10

Carpeta de binarios de GOTO.
Descargar argus-saf _ ***-versión-assembly.jar
Obtener uso por:

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

Desarrollo de Argus-SAF

Para participar en el desarrollo Argus-SAF, debe:

Instale el siguiente software:
- IntelliJ Idea 14 o superior con versión compatible de Scala Plugin
Bifurcar este repositorio y clonarlo a su computadora

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

Abra la idea IntelliJ, seleccione File -> New -> Project from existing sources (si desde la ventana inicial: Import Project ), apunte al directorio donde el repositorio Argus -SAF es y luego lo importe como SBT project .
Cuando se termine la importación, vaya al directorio de repo Argus-SAF y ejecute

 $ git checkout .idea

Para obtener artefactos y ejecutar configuraciones para el proyecto Idea.

[Opcional] Para construir Argus-SAF más suave, debe dar 2 GB del tamaño del montón al proceso del compilador.
- Si utiliza el servidor de compilación de Scala (predeterminado): Settings > Languages & Frameworks > Scala Compile Server > JVM maximum heap size
- Si el servidor de compilación de Scala está deshabilitado: Settings > Build, Execution, Deployment > Compiler > Build process heap size
Construir argus-saf desde la línea de comandos: ir al directorio de repo de argus-saf y ejecutar

 $ tools/bin/sbt clean compile test

Generar Fat Jar: Vaya al Directorio de Repo de Argus-SAF y ejecute

 $ tools/bin/sbt assembly

Instalar JN-SAF con Nativedroid

Instalar JN-Saf y NativeDroid :

 $ tools/scripts/install.sh

Puede instalar cualquiera de los dos por:

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

Ejecutar la prueba de referencia

Después de instalar JN-Saf y NativeDroid . Correr:

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

Lanzar JN-SAF para el análisis nativo

Instalar nativedroid:

 $ tools/scripts/install.sh nativedroid

Iniciar servidor nativedroid:

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

Use nativedroidClient.scala para comunicarse con el servidor Nativedroid para realizar análisis nativos.

Solución de problemas:

Si el código Python en IntelliJ muestra importaciones no resueltas, debe importar manualmente la carpeta Nativedroid como módulo Python y establecer Python SDK. Recomendar usar un Python VirtualEnv para instalar Nativedroid con sus paquetes Python requeridos.

Construcción de bazel

Integración de bazel en progreso. Ignore todos los archivos de compilación por ahora.

Cómo contribuir

Para contribuir al argus-saf, envíenos una solicitud de extracción de su bifurcación de este repositorio.

Para obtener más información sobre cómo construir y desarrollar Argus-SAF, también consulte nuestras pautas para contribuir. Las personas que proporcionaron excelentes ideas figuran en el contribuyente.