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

binaries 폴더로 이동합니다.
argus-saf_***-version-assembly.jar 파일을 다운로드합니다.
다음 명령으로 사용법을 확인합니다:

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

Argus-SAF 개발하기

Argus-SAF 개발에 참여하려면 다음이 필요합니다:

다음 소프트웨어를 설치합니다:
- 호환되는 Scala 플러그인이 있는 IntelliJ IDEA 14 이상
이 저장소를 포크하고 컴퓨터에 클론합니다.

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

IntelliJ IDEA를 열고 File -> New -> Project from existing sources를 선택합니다 (처음 창에서라면 Import Project), Argus-SAF 저장소가 있는 디렉터리를 지정한 다음 SBT project로 가져옵니다.
가져오기가 완료되면 Argus-SAF 저장소 디렉터리로 이동하여 다음을 실행합니다.

$ git checkout .idea

IDEA 프로젝트의 아티팩트와 실행 구성을 얻기 위함입니다.

[선택사항] 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
명령줄에서 Argus-SAF 빌드: Argus-SAF 저장소 디렉터리로 이동하여 다음을 실행합니다.

$ tools/bin/sbt clean compile test

fat jar 생성: Argus-SAF 저장소 디렉터리로 이동하여 다음을 실행합니다.

$ tools/bin/sbt assembly

NativeDroid와 함께 JN-Saf 설치

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 실행

nativedroid 설치:

$ tools/scripts/install.sh nativedroid

nativedroid 서버 시작:

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

NativeDroidClient.scala를 사용하여 nativedroid 서버와 통신하여 네이티브 분석을 수행합니다.

문제 해결:

IntelliJ에서 파이썬 코드에 해결되지 않은 import가 표시되면 수동으로 nativedroid 폴더를 파이썬 모듈로 가져오고 Python SDK를 설정해야 합니다. 필요한 파이썬 패키지와 함께 nativedroid를 설치하려면 python virtualenv를 사용하는 것이 좋습니다.

Bazel 빌드

Bazel 통합이 진행 중입니다. 지금은 모든 BUILD 파일을 무시하세요.

기여 방법

Argus-SAF에 기여하려면 이 저장소의 포크에서 pull request를 보내주세요!

빌드 및 개발에 대한 자세한 정보는 기여 가이드라인을 확인하세요. 훌륭한 아이디어를 제공한 사람들은 기여자 목록에 기재되어 있습니다.

무엇을 기여할지

무엇을 기여할지 모르겠다면, help wanted 라벨이 있는 이슈 트래커를 확인하고 하나를 선택하여 Argus-SAF에 익숙해질 수 있습니다.

Argus-SAF

인기