The Manticore User Interface (MUI) project provides a graphical user interface plugin for different disassemblers that allows users to interact easily and view the progress of the Manticore symbolic execution engine for analysis of smart contracts and native binaries.
We are developing MUI plugins for Binary Ninja and Ghidra. Each plugin's respective directory contains information on how to install and use it: binaryninja and ghidra.
The Manticore Server is used by the Ghidra plugin to interact with Manticore over gRPC.
❗ATTENTION❗ This project is experimental and may be unstable or unusable for arbitrary use-cases and targets. Please open an issue if you have any difficulties using the existing features. We will consider new feature suggestions on a case-by-case basis. If possible, please open a pull request to improve or fix the project.
If building from source, please pull the Git submodule(s):
git submodule update --initThen, please navigate to the plugin directories: binaryninja and ghidra.