binary-re-static-analysis
바이너리 구조 및 코드 분석
바이너리 리버스 엔지니어링은 실행 없이 함수 구조, 데이터 흐름, 코드 로직을 이해해야 합니다. 이 스킬은 radare2와 Ghidra를 사용하여 코드를 매핑하고, 참조를 추적하며, 함수를 디컴파일하는 체계적인 정적 분석 방법을 제공합니다.
下载技能 ZIP
在 Claude 中上传
前往 设置 → 功能 → 技能 → 上传技能
开启并开始使用
测试它
正在使用“binary-re-static-analysis”。 Analyze function main
预期结果:
The main function at 0x10800 calls:
- 0x9000: init_config (reads config file)
- 0x8400: network_init (socket, connect)
- 0x10800: main_loop
The network_init function at 0x8400:
- Creates socket(AF_INET, SOCK_STREAM, 0)
- Connects to 192.168.1.100:8080
- Sends data using send()
Key strings found: "config.json", "api.example.com"
正在使用“binary-re-static-analysis”。 Find all crypto functions
预期结果:
Crypto imports detected:
- EVP_EncryptInit at 0x12340 (called by 0x8400, 0x8500)
- AES_encrypt at 0x12348 (called by 0x8450)
- SHA256 at 0x12350 (called by 0x8800)
No hardcoded keys found in analyzed strings.
安全审计
安全Static analysis tool for binary reverse engineering. All detected patterns are legitimate reverse engineering techniques using radare2 and Ghidra. External command execution is intentional and necessary for invoking analysis tools. No malicious patterns found.
风险因素
质量评分
你能构建什么
보안 취약점 연구
동적 테스트 전에 폐쇄형 소스 바이너리를 분석하여 잠재적 취약점을 식별하고, 데이터 흐름을 추적하며, 보안에 중요한 코드 경로를 이해합니다.
악성코드 분석
정적 기법을 통해 악성 소프트웨어를 안전하게 검사합니다. 페이로드를 트리거하지 않고 함수 구조를 매핑하고, 네트워크 지표를 식별하며, 동작을 이해합니다.
레거시 소프트웨어 이해
소스 코드를 사용할 수 없을 때 문서화되지 않은 레거시 바이너리를 이해합니다. 함수 시그니처를 복원하고, API를 매핑하며, 소프트웨어 동작을 문서화합니다.
试试这些提示
Analyze this binary and list all functions. Identify the main function and any network-related functions like socket, connect, send, or recv.
Find all callers of function at address [ADDRESS]. Trace the call chain from main to understand how this function is reached.
Decompile function [FUNCTION_NAME] using r2ghidra. Provide the pseudo-C output and explain what the function appears to do.
Perform a full static analysis: enumerate functions, identify crypto and network calls, trace cross-references for interesting functions, and decompile the main function. Export findings as structured JSON.
最佳实践
- 대용량 바이너리에서 시간을 절약하려면 가벼운 분석(aa; aac)으로 시작하여 관심 있는 함수에 대해서만 심층 분석으로 확대하세요.
- 2단계 접근 방식을 사용하세요: 전체 바이너리를 디컴파일하는 대신 먼저 열거 및 매핑한 다음 특정 함수를 디컴파일합니다.
- 나중에 검증할 수 있도록 분석 중에 항상 가설과 뒷받침 증거를 문서화하세요.
避免
- 타임아웃 설정 없이 대용량 바이너리에서 전체 분석(aaa)을 실행하면 분석 세션이 중단될 수 있습니다.
- 교차 참조 분석을 건너뛰고 디컴파일로 바로 넘어가면 더 넓은 코드 컨텍스트를 놓칠 수 있습니다.
- 디컴파일된 출력이 정확한 소스 코드라고 가정하지 마세요 - 디컴파일은 근사치이며 부정확할 수 있습니다.