program-analysis

Windows용 오픈 소스 사용자 모드 디버거. 리버스 엔지니어링 및 악성코드 분석에 최적화되어 있습니다.

Windows, Linux 및 MacOS용 파일 유형 판별 프로그램

Triton은 동적 바이너리 분석 라이브러리입니다. 자신만의 프로그램 분석 도구를 구축하고, 리버스 엔지니어링을 자동화하며, 소프트웨어 검증을 수행하거나 코드를 에뮬레이트하세요.

Mythril은 EVM 바이트코드를 위한 기호 실행(symbolic-execution) 기반 보안 분석 도구입니다. 이더리움 및 기타 EVM 호환 블록체인을 위해 빌드된 스마트 계약의 보안 취약점을 탐지합니다.

UNIX 유사 리버스 엔지니어링 프레임워크 및 명령줄 도구 모음

DIE 엔진

추상 해석 이론 기반의 C/C++ 정적 분석기

역어셈블된 코드의 차이점과 유사점을 빠르게 찾습니다.

바이너리 분석 플랫폼

Jar Analyzer - JAR 패키지 GUI 분석 도구, 분석을 돕는 내장 AI 어시스턴트 포함, JAR DIFF 분석, 메서드 호출 관계 검색, 메서드 호출 체인 DFS 알고리즘 분석, DFS 결과 검증을 위한 JVM 테인트 분석 시뮬레이션, 문자열 검색, Java Web 컴포넌트 진입점 분석, CFG 프로그램 분석, JVM 스택 프레임 분석, 커스텀 표현식 검색 등 지원

최첨단 소스 코드 표절 및 공모 감지. 프로그램 세트에서 표절을 확인합니다.

정적 코드 분석

cwe_checker는 바이너리 실행 파일에서 취약한 패턴을 찾습니다

Semgrep 및 커뮤니티가 유지 관리하는 Semgrep Community Edition 규칙. Semgrep Rules License에 따라 무료로 사용할 수 있습니다.

정적 프로그램 분석을 위한 Tai-e 과제 모음

angr의 공식 GUI입니다.

LLVM 기반 정적 분석 프레임워크.

Java, Android, JavaScript용 프론트엔드와 다양한 일반 정적 프로그램 분석 기능을 갖춘 분석용 T.J. Watson 라이브러리

코드베이스를 즉시 이해. 인간과 AI를 위해 구축된 코드베이스 시스템 인텔리전스

아키텍처가 완전히 개편된 Soot의 새로운 버전

멋진 LLVM(Clang 등 포함) 관련 리소스 모음.

리버스 엔지니어링, 바이너리 분석 및 어셈블리 프로그래밍 도구를 위한 포괄적인 치트시트 모음입니다. 보안 연구원, 리버스 엔지니어 및 저수준 프로그래머를 위한 원스톱 참조 저장소입니다.

Rust로 작성된 바이너리 분석 프레임워크

C 프로그래밍 언어를 위한 컴파일러 프론트엔드

LLVM bitcode에 대한 프로그램 분석, 의존성 그래프 생성 및 프로그램 슬라이싱을 위한 LLVM Static Slicer입니다.