Skip to content
MUI：用 Manticore 和 Binary Ninja 可视化符号执行
blog.trailofbits.com | 博客 | #reverse-engineering | #binary-analysis | #binary-ninja | #symbolic-execution | #manticore | #visualization
摘要
Trail of Bits 实习项目 MUI 将符号执行库 Manticore 与 Binary Ninja 的界面结合，提供可视化、可交互的符号执行体验。文章以简单示例讲解符号执行原理与状态爆炸问题，并演示自定义 hook 控制探索路径及分析 EVM 合约的用法。
- 发布时间
- 收录时间