Argus SAF

Argus-SAF: Argus Static Analysis Framework

Este é o repórico oficial do Argus-Saf.

Para teste e jogo com o Argus-SAF, você pode bifurcar nosso projeto Argus-Saf-Playground, que possui a configuração básica para um projeto aprimorado do Argus-Saf com códigos de demonstração de como executar diferentes tipos de análise.

Estrutura do repositório

 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.

Obtendo Argus-Saf como biblioteca

Depende de Jawa editando build.sbt :

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

Depende do Amandroid, editando build.sbt :

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

Observe que: depende do Amandroid adicionará automaticamente Jawa como dependência. Se você usar o Maven ou o Gradle, traduzi -o para o formato correspondente.

Obtendo ferramenta cli argus-saf

Requisito: Java 10

1. Pasta de binários goto.
2. Faça o download do Argus-SAF _ ***-versão-assembly.jar
3. Obtenha uso por:

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

Desenvolvendo Argus-Saf

Para participar do desenvolvimento do Argus-SAF, você precisa:

1. Instale o seguinte software:

   • Intellij Idea 14 ou superior com versão compatível do plugin scala

2. Bire este repositório e cloná -lo no seu computador

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

3. Abra o Intellij Idea, Selecione File -> New -> Project from existing sources (se da janela inicial: Import Project ), aponte para o diretório onde o repositório Argus -SAF é e, em seguida, importá -lo como SBT project .

4. Quando a importação terminar, vá para o Diretório de Repo Argus-Saf e corra

 $ git checkout .idea

Para obter artefatos e executar configurações para o Idea Project.

5. [Opcional] Para construir o Argus-Saf mais suave, você deve fornecer 2 GB do tamanho da pilha ao processo do compilador.

   • Se você usa o Scala Compile Server (padrão): Settings > Languages & Frameworks > Scala Compile Server > JVM maximum heap size

   • Se o Scala Compile Server estiver desativado: Settings > Build, Execution, Deployment > Compiler > Build process heap size

6. Construa Argus-Saf a partir da linha de comando: vá para o diretório repositório de Argus-SAF e corra

 $ tools/bin/sbt clean compile test

7. Gere Fat Jar: Vá para o diretório repo Argus-SAF e corra

 $ tools/bin/sbt assembly

Instale o JN-SAF com Nativedroid

Instale JN-Saf e NativeDroid :

 $ tools/scripts/install.sh

Você pode instalar qualquer um por:

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

Execute o teste de referência

Depois de instalar JN-Saf e NativeDroid . Correr:

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

Inicie o JN-SAF para análise nativa

1. Instale o Nativedroid:

 $ tools/scripts/install.sh nativedroid

2. Inicie o Nativedroid Server:

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

3. Use nativedroidclient.scala para se comunicar com o servidor Nativedroid para executar análises nativas.

Solução de problemas:

1. Se o código Python no Intellij mostrar importações não resolvidas, você deve importar manualmente a pasta NATIVIDEDROID como um módulo Python e definir o Python SDK. Recomende usar um Python VirtualEnv para instalar o NATIVIDDROID com seus pacotes Python necessários.

Bazel Build

Integração do Bazel em andamento. Ignore todos os arquivos de construção por enquanto.

Como contribuir

Para contribuir com o Argus-Saf, envie-nos uma solicitação de tração do seu garfo deste repositório!

Para obter mais informações sobre a construção e o desenvolvimento de Argus-SAF, também consulte nossas diretrizes para contribuir. As pessoas que forneceram excelentes idéias estão listadas em colaborador.

O que contribuir

Se você não souber o que contribuir, pode verificar o rastreador de problemas com a etiqueta help wanted e reivindicar um para ajudar a se aquecer com o Argus-Saf.