https://blog.qife122.com/tags/%E5%8F%8D%E6%B1%87%E7%BC%96%E5%99%A8%E9%9B%86%E6%88%90/ Recent content in 反汇编器集成 on 办公AI智能小助手 Hugo zh-cn qife Fri, 19 Sep 2025 16:43:53 +0800 https://blog.qife122.com/p/%E8%BD%BB%E6%9D%BE%E6%9E%84%E5%BB%BAmanticore-gui%E6%8F%90%E5%8D%87%E7%AC%A6%E5%8F%B7%E6%89%A7%E8%A1%8C%E7%9A%84%E5%8F%AF%E8%AE%BF%E9%97%AE%E6%80%A7/ Fri, 19 Sep 2025 16:43:53 +0800 https://blog.qife122.com/p/%E8%BD%BB%E6%9D%BE%E6%9E%84%E5%BB%BAmanticore-gui%E6%8F%90%E5%8D%87%E7%AC%A6%E5%8F%B7%E6%89%A7%E8%A1%8C%E7%9A%84%E5%8F%AF%E8%AE%BF%E9%97%AE%E6%80%A7/ <h1 id="manticore-gui-轻松构建---trail-of-bits-博客">Manticore GUI 轻松构建 - Trail of Bits 博客</h1> <p>Trail of Bits 维护着 Manticore，这是一个可以分析智能合约和原生二进制的符号执行引擎。虽然符号执行是一种能够增强漏洞发现过程的强大技术，但它需要一定的基础领域知识，因此有自己的学习曲线。考虑到用户与这种引擎交互的多种方式，以及需要在反汇编器和终端或脚本编辑器之间频繁切换上下文，将符号执行集成到工作流中对初学者来说可能令人生畏。</p>