symbolic-execution-tools

SKILL.md

SKILL: Symbolic Execution Tools — Expert Analysis Playbook

AI LOAD INSTRUCTION: Expert symbolic execution techniques using angr, Z3, and Unicorn Engine. Covers CTF challenge automation, constraint solving patterns, function hooking, SimProcedure replacement, and emulation-based unpacking. Base models often produce broken angr scripts due to incorrect state initialization or missing hooks for libc functions.

0. RELATED ROUTING

anti-debugging-techniques when anti-debug checks need to be symbolically bypassed

code-obfuscation-deobfuscation when using symbolic execution for deobfuscation

vm-and-bytecode-reverse when applying angr to custom VM challenges

Advanced Reference

Also load ANGR_COOKBOOK.md when you need:

15+ ready-to-use angr script patterns for common CTF challenges

Hook templates for scanf, printf, malloc, strcmp

Symbolic file input, stdin, argv patterns

Optimization tricks for path explosion management

When to use which tool