Argus SAF

Argus-Saf: กรอบการวิเคราะห์แบบคงที่ Argus

นี่คือการแก้ไขอย่างเป็นทางการสำหรับ 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 Binaries
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. Open Intellij Idea, Select File -> New -> Project from existing sources (ถ้าจากหน้าต่างเริ่มต้น: Import Project ) ชี้ไปที่ไดเรกทอรีที่ที่เก็บ argus -SAF แล้วนำเข้าเป็น SBT project

4. เมื่อนำเข้าเสร็จแล้วให้ไปที่ไดเรกทอรี repo argus-saf และเรียกใช้

 $ git checkout .idea

เพื่อให้ได้สิ่งประดิษฐ์และเรียกใช้การกำหนดค่าสำหรับโครงการแนวคิด

5. [ไม่บังคับ] เพื่อสร้าง Argus-SAF ให้ราบรื่นขึ้นคุณควรให้ขนาดฮีป 2GB แก่กระบวนการคอมไพเลอร์

   • หากคุณใช้ Scala Compile Server (ค่าเริ่มต้น): Settings > Languages & Frameworks > Scala Compile Server > JVM maximum heap size

   • หาก Scala Compile Server ถูกปิดใช้งาน: Settings > Build, Execution, Deployment > Compiler > Build process heap size

6. สร้าง Argus-SAF จากบรรทัดคำสั่ง: ไปที่ไดเรกทอรี repo argus-saf และเรียกใช้

 $ tools/bin/sbt clean compile test

7. สร้างขวดไขมัน: ไปที่ไดเรกทอรี repo argus-saf และเรียกใช้

 $ 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. เริ่มต้นเซิร์ฟเวอร์ Nativedroid:

 $ 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 เพื่อติดตั้ง nativedroid ด้วยแพ็คเกจ Python ที่จำเป็น

Bazel Build

การรวม Bazel กำลังดำเนินการ ไม่สนใจไฟล์บิลด์ทั้งหมดในตอนนี้

วิธีการมีส่วนร่วม

หากต้องการมีส่วนร่วมใน Argus-SAF โปรดส่งคำขอดึงจากส้อมของคุณจากที่เก็บนี้!

สำหรับข้อมูลเพิ่มเติมเกี่ยวกับการสร้างและการพัฒนา Argus-SAF โปรดตรวจสอบแนวทางของเราสำหรับการบริจาค ผู้ที่ให้แนวคิดที่ยอดเยี่ยมอยู่ในรายการผู้สนับสนุน

สิ่งที่จะมีส่วนร่วม

หากคุณไม่ทราบว่าจะมีส่วนร่วมอะไรคุณสามารถชำระค่าตัวติดตามปัญหาด้วย help wanted ฉลากและเรียกร้องหนึ่งเพื่อช่วยตัวเองอุ่นเครื่องกับ Argus-Saf