Argus SAF

Argus-SAF: Kerangka Analisis Statis Argus

Ini adalah reporitori resmi untuk Argus-saf.

Untuk tes dan bermain dengan Argus-SAF, Anda dapat membayar dari proyek Argus-saf-playground kami, yang memiliki pengaturan dasar untuk proyek yang ditingkatkan Argus-SAF dengan kode demo tentang cara melakukan berbagai jenis analisis.

Struktur repositori

 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.

Mendapatkan Argus-Saf sebagai Perpustakaan

Bergantung pada jawa dengan mengedit build.sbt :

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

Bergantung pada amandroid dengan mengedit build.sbt :

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

Perhatikan bahwa: Bergantung pada Amandroid akan secara otomatis menambahkan Jawa sebagai ketergantungan. Jika Anda menggunakan Maven atau Gradle, Anda harus menerjemahkannya ke format yang sesuai.

Mendapatkan Alat CLI Argus-Saf

Persyaratan: Java 10

1. Folder Binaries Goto.
2. Unduh argus-saf _ ***-versi-assembly.jar
3. Dapatkan penggunaan dengan:

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

Mengembangkan argus-saf

Untuk mengambil bagian dalam pengembangan Argus-SAF, Anda perlu:

1. Instal perangkat lunak berikut:

   • Intellij Ide 14 atau lebih tinggi dengan versi plugin Versi yang kompatibel

2. Garpu repositori ini dan kloning ke komputer Anda

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

3. Buka IntelliJ Idea, pilih File -> New -> Project from existing sources (jika dari Window Awal: Import Project ), arahkan ke direktori di mana repositori Argus -SAF berada dan kemudian mengimpornya sebagai SBT project .

4. Saat mengimpor selesai, buka direktori repo Argus-saf dan jalankan

 $ git checkout .idea

Untuk mendapatkan artefak dan menjalankan konfigurasi untuk proyek IDEA.

5. [Opsional] Untuk membangun argus-saf lebih halus Anda harus memberikan ukuran 2GB dari heap untuk proses kompiler.

   • Jika Anda menggunakan Server Compile Scala (default): Settings > Languages & Frameworks > Scala Compile Server > JVM maximum heap size

   • Jika Server Kompilasi Scala dinonaktifkan: Settings > Build, Execution, Deployment > Compiler > Build process heap size

6. Bangun Argus-Saf dari Baris Perintah: Pergi ke Direktori Repo Argus-Saf dan Jalankan

 $ tools/bin/sbt clean compile test

7. Hasilkan Jar Fat: Pergi ke Direktori Repo Argus-Saf dan Lari

 $ tools/bin/sbt assembly

Instal JN-SAF dengan Nativedroid

Instal JN-Saf dan NativeDroid :

 $ tools/scripts/install.sh

Anda dapat menginstal salah satunya dengan:

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

Jalankan tes benchmark

Setelah menginstal JN-Saf dan NativeDroid . Berlari:

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

Luncurkan JN-SAF untuk Analisis Asli

1. Instal Nativedroid:

 $ tools/scripts/install.sh nativedroid

2. Mulai Nativedroid Server:

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

3. Gunakan nativedroidclient.scala untuk berkomunikasi dengan server nativedroid untuk melakukan analisis asli.

Pemecahan masalah:

1. Jika kode Python di IntelliJ menunjukkan impor yang belum terselesaikan, Anda harus mengimpor folder Nativedroid secara manual sebagai modul Python dan mengatur Python SDK. Merekomendasikan untuk menggunakan Python VirtualEnv untuk menginstal Nativedroid dengan paket Python yang diperlukan.

Bazel Build

Integrasi Bazel sedang berlangsung. Abaikan semua file build untuk saat ini.

Bagaimana berkontribusi

Untuk berkontribusi pada argus-saf, silakan kirim permintaan tarik dari garpu repositori ini!

Untuk informasi lebih lanjut tentang membangun dan mengembangkan ARGUS-SAF, silakan lihat panduan kami untuk berkontribusi. Orang -orang yang memberikan ide -ide bagus terdaftar dalam kontributor.

Apa yang harus disumbangkan

Jika Anda tidak tahu harus berkontribusi apa, Anda dapat memeriksa pelacak masalah dengan label help wanted , dan mengklaim satu untuk membantu diri Anda pemanasan dengan Argus-SAF.