Skill UI

This playbook provides advanced techniques for symbolic execution using angr, Z3, and Unicorn Engine. It covers automating CTF challenges, handling constraint solving patterns, function hooking, memory manipulation, and emulating custom virtual machines for binary analysis and key recovery.

General reverse-engineering methodology for compiled, obfuscated, packed, or virtualized binaries. Covers GDB, Frida, angr, Unicorn, and Qiling static/dynamic workflows across languages and platforms, with anti-analysis countermeasures and CTF patterns.