domains / families / security / symbolic-execution-tools

symbolic-execution-tools

separate

Symbolic execution and constraint solving playbook. Use when solving CTF reversing challenges, recovering keys, bypassing checks, or automating binary analysis with angr, Z3, or Unicorn Engine.

When to use

• solving CTF reversing challenges
• recovering keys
• bypassing checks
• automating binary analysis
• constraint solving patterns
• function hooking
• SimProcedure replacement
• emulation-based unpacking

Skill page

Source