Can angr-analyzer work on stripped binaries?

Yes, angr is specifically designed to recover functions and control flow even when symbol tables and debug information have been removed from the executable.

What binary formats and architectures are supported?

It supports major formats including ELF, PE, and Mach-O across a wide variety of architectures such as x86, x64, ARM, MIPS, and PPC.

Is source code required for this analysis?

No, this skill is specifically intended for analyzing compiled executables where the original source code is unavailable or lost.

How does symbolic execution help in security testing?

Symbolic execution allows you to mathematically determine which inputs will trigger specific code paths, helping identify how to reach vulnerable code or bypass security checks.

What are the prerequisites for using this skill?

You must have Python 3.8+ and the 'angr' library installed on your system (pip install angr) for the analysis scripts to execute.

Angr Binary Analyzer

Name: Angr Binary Analyzer
Author: sandbornm

bysandbornm

•

安全与测试

Analyzes binary executables using the angr framework for static analysis, symbolic execution, and vulnerability detection.

The angr-analyzer skill empowers Claude to perform sophisticated binary reverse engineering and automated analysis directly within your workflow. By leveraging the powerful angr Python framework, it can decompile stripped binaries into C pseudocode, recover complex control flow graphs, and utilize symbolic execution to solve for inputs that reach specific code paths. It is an essential tool for security researchers, CTF players, and developers who need to audit compiled code, find vulnerabilities like buffer overflows, or understand the behavior of firmware and legacy applications without access to the original source code.

主要功能

01Automated binary decompilation to C pseudocode for stripped executables.

02Control flow graph (CFG) recovery and detailed function mapping.

038 GitHub stars

04Symbolic execution to find valid input paths and solve complex constraints.

05Pattern-based vulnerability detection for identifying dangerous function calls.

06Extraction of strings, symbols, and cross-references for rapid triage.

使用场景

01Solving Capture The Flag (CTF) challenges by finding inputs for specific code paths.

02Security auditing and vulnerability research on closed-source binaries and firmware.

03Reverse engineering and triage of unknown executables or legacy software.

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add sandbornm/my-claude-skills angr-analyzer

For use in Claude.ai and ChatGPT

Download Skill