https://overkazaf.github.io/blogs/tags/ctf/Recent content in CTF on +5 Security ResearchHugozh-cnSat, 03 Oct 2026 18:00:00 +0800https://overkazaf.github.io/blogs/posts/ponce4ghidra-symbolic-execution-crackme/Sat, 03 Oct 2026 18:00:00 +0800https://overkazaf.github.io/blogs/posts/ponce4ghidra-symbolic-execution-crackme/基于 Ponce4Ghidra 插件的符号执行逆向实战记录：用 angr + Z3 在 Ghidra 中右键标记目标地址，自动求解 crackme 密码和 19 字节 license key，附完整约束推导、多解枚举和引擎日志分析