非影资讯
P非影 English
面向安全从业者的中英双语安全研究与漏洞情报精选。

用 Manticore 施展魔法

blog.trailofbits.com | 漏洞 | #automation | #ctf | #reverse-engineering | #binary-ninja | #symbolic-execution | #manticore

摘要

DEF CON CTF 资格赛 Magic 题包含 200 个各自持有不同密钥的二进制，作者演示用 Manticore 符号执行引擎配合 Binary Ninja 定位校验函数地址并自动化求解，替代人工逐个逆向。
发布时间
收录时间

原文 ↗

相关内容

  1. 使用 Binary Ninja 进行漏洞建模 (blog.trailofbits.com)
  2. MUI：用 Manticore 和 Binary Ninja 可视化符号执行 (blog.trailofbits.com)
  3. 对密码学原语执行混合符号执行 (blog.trailofbits.com)
  4. Manticore 中的符号路径合并 (blog.trailofbits.com)
  5. Trail of Bits @ Devcon IV 回顾 (blog.trailofbits.com)
  6. RSA 签名的故障分析 (blog.trailofbits.com)

返回