symbolic-execution-tools
OfficialAutomate binary analysis and recover secrets.
Authoryaklang
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill provides an expert playbook for automating symbolic execution, constraint solving, and emulation to recover secrets, bypass checks, and solve reversing challenges in compiled binaries and custom VMs.
Core Features & Use Cases
- Angr workflows: Patterns for entry/blank/full_init states, symbolic stdin/argv/file, memory/register handling, and SimProcedure hooks to bypass complex library behavior.
- Constraint solving with Z3/claripy: Techniques for formulating and solving bitvector and equation systems, optimization, and CTF-style key recovery.
- Unicorn emulation: Fast concrete emulation recipes for unpacking, decrypting routines, and tracing instruction/memory behavior.
- Practical cookbook: 15+ ready-to-use angr recipes for common CTF scenarios including printable constraints, hooking scanf/strcmp, veritesting, Unicorn hybrid speedups, and multi-stage binaries.
- Use cases: CTF flag recovery, automated vulnerability proof-of-concept generation, firmware/function emulation, and deobfuscation aided by symbolic reasoning.
Quick Start
Use symbolic-execution-tools to run angr with the provided cookbook recipes to find an input that makes the target binary print its success string.
Dependency Matrix
Required Modules
None requiredComponents
Standard package💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: symbolic-execution-tools Download link: https://github.com/yaklang/hack-skills/archive/main.zip#symbolic-execution-tools Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.