Argus SAF

Argus-Saf: Cadre d'analyse statique Argus

Ceci est un reporior officiel pour l'Argus-Saf.

Pour tester et jouer avec Argus-SAF, vous pouvez se débarrasser de notre projet Argus-saf-Playground, qui ont la configuration de base pour un projet amélioré Argus-Saf avec des codes de démonstration de la façon d'effectuer différents types d'analyses.

Structure de référentiel

 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.

Obtenir Argus-Saf comme bibliothèque

Dépendre de la jawa en modifiant build.sbt :

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

Dépendre de l'amandroid en modifiant build.sbt :

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

Notez que: dépendre de l'amandroid ajoutera automatiquement Jawa comme dépendance. Si vous utilisez Maven ou Gradle, vous devez le traduire au format correspondant.

Obtention de l'outil CLI Argus-Saf

Exigence: Java 10

1. Dossier goto binaires.
2. Télécharger Argus-Saf _ *** - version-assembly.jar
3. Obtenez l'utilisation de:

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

Développement d'argus-saf

Afin de participer au développement d'Argus-Saf, vous devez:

1. Installez le logiciel suivant:

   • Intellij Idea 14 ou plus avec une version compatible du plugin Scala

2. Fourk ce référentiel et le cloner sur votre ordinateur

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

3. Ouvrez Intellij Idea, sélectionnez File -> New -> Project from existing sources (If From Initial Window: Import Project ), indiquez le répertoire où se trouve le référentiel Argus-Saf, puis l'importez-le en tant que SBT project .

4. Une fois l'importation terminée, accédez à Argus-Saf Repo Directory et exécutez

 $ git checkout .idea

Afin d'obtenir des artefacts et d'exécuter des configurations pour Idea Project.

5. [Facultatif] Pour construire Argus-Saf plus lisse, vous devez donner 2 Go de la taille du tas au processus du compilateur.

   • Si vous utilisez Scala Compile Server (par défaut): Settings > Languages & Frameworks > Scala Compile Server > JVM maximum heap size

   • Si le serveur de compilation Scala est désactivé: Settings > Build, Execution, Deployment > Compiler > Build process heap size

6. Construisez Argus-Saf à partir de la ligne de commande: accédez au répertoire de repo Argus-Saf et exécutez

 $ tools/bin/sbt clean compile test

7. Générer un pot de graisse: accédez au répertoire de repo Argus-Saf et exécutez

 $ tools/bin/sbt assembly

Installez JN-SAF avec NativedRoid

Installez JN-Saf et NativeDroid :

 $ tools/scripts/install.sh

Vous pouvez installer l'un ou l'autre par:

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

Exécuter le test de référence

Après l'installation de JN-Saf et NativeDroid . Courir:

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

Lancez JN-SAF pour l'analyse native

1. Installer NativedRoid:

 $ tools/scripts/install.sh nativedroid

2. Démarrer le serveur NativedRoid:

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

3. Utilisez nativedroidclient.scala pour communiquer avec le serveur NativedRoid pour effectuer une analyse native.

Dépannage:

1. Si le code Python dans Intellij affiche des importations non résolues, vous devez importer manuellement le dossier nativedroid en tant que module Python et définir le SDK Python. Recommandez d'utiliser un Python VirtualEnv pour installer NativedRoid avec ses packages Python requis.

Construction bazel

Intégration du bazel en cours. Ignorez tous les fichiers de construction pour l'instant.

Comment contribuer

Pour contribuer à l'Argus-Saf, veuillez nous envoyer une demande de traction de votre fourche de ce référentiel!

Pour plus d'informations sur la construction et le développement d'argus-saf, veuillez également consulter nos directives pour la contribution. Les personnes qui ont fourni d'excellentes idées sont répertoriées dans le contributeur.

Que contribuer

Si vous ne savez pas quoi contribuer, vous pouvez consulter le tracker du problème avec help wanted Label et réclamer un pour vous aider à vous réchauffer avec Argus-Saf.