https://blog.qife122.com/tags/symbolic-execution/ Recent content in Symbolic-Execution on 办公AI智能小助手 Hugo zh-cn qife Fri, 19 Sep 2025 12:57:29 +0800 https://blog.qife122.com/p/mui%E7%94%A8manticore%E5%92%8Cbinary-ninja%E5%8F%AF%E8%A7%86%E5%8C%96%E7%AC%A6%E5%8F%B7%E6%89%A7%E8%A1%8C/ Fri, 19 Sep 2025 12:57:29 +0800 https://blog.qife122.com/p/mui%E7%94%A8manticore%E5%92%8Cbinary-ninja%E5%8F%AF%E8%A7%86%E5%8C%96%E7%AC%A6%E5%8F%B7%E6%89%A7%E8%A1%8C/ <h1 id="mui用manticore和binary-ninja可视化符号执行">MUI：用Manticore和Binary Ninja可视化符号执行</h1> <p>在我暑期实习期间，我有幸参与了Manticore用户界面（MUI）项目。MUI项目旨在结合强大的符号执行库Manticore和流行的二进制分析工具Binary Ninja，为符号执行提供一个更直观和可视化的界面。</p>