.. image:: https://raw.githubusercontent.com/trailofbits/manticore/master/docs/images/manticore.png :width: 200px :align: center :alt: Manticore
Manticore 用户界面（MUI）项目为不同的反汇编器提供了一个图形用户界面插件，使用户能够轻松交互并查看 Manticore 符号执行引擎 <https://github.com/trailofbits/manticore>_ 在分析智能合约和原生二进制文件时的进度。
我们正在为 Binary Ninja <https://binary.ninja/>_ 和 Ghidra <https://ghidra-sre.org/>_ 开发 MUI 插件。每个插件对应的目录中都包含如何安装和使用的信息：binaryninja <plugins/binaryninja>_ 和 ghidra <plugins/ghidra>_。
Manticore 服务器 <server>_ 由 Ghidra 插件使用，通过 gRPC 与 Manticore 交互。
❗注意❗ 本项目尚处于实验阶段，可能不稳定或无法用于任意用例和目标。如果您在使用现有功能时遇到任何困难，请提交 issue。我们会根据具体情况考虑新功能建议。如有可能，请提交 pull request 以改进或修复项目。
开始使用
如果从源码构建，请拉取 Git 子模块：::
git submodule update --init
然后，请导航到插件目录：binaryninja <plugins/binaryninja>_ 和 ghidra <plugins/ghidra>_。