API | Description |
---|
Angr | - 해당 API는 다음과 같은 기능을 지원합니다.
- 디스 어셈블리 및 중간 표현 리프팅
- 프로그램 계측
- 상징적 실행
- 제어 흐름 분석
- 데이터 종속성 분석
- 가치 집합 분석 (VSA)
|
---|
claripy | - Solver Engine
- 제약 조건을 해결하는 기능을 제공합니다.
- 사용방법은 z3와 유사합니다.
|
---|
cle | - Binary Loader
- 분석 대상 바이너리에서 사용되는 라이브러리 정보들을 출력
- 프로세스 메모리의 추상화
|
---|
pyvex | - Binary Translator
- 바이너리 코드를 VEX 중간 레졸루션 (IR)으로 변환하는 인터페이스를 제공합니다
|
---|
archinfo | - Arch Information Repository
- 아키텍처 관련 정보를 포함하는 클래스의 모음입니다.
|
---|