Manticore UI

.. 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>_ и отслеживать его прогресс при анализе смарт-контрактов и нативных бинарных файлов.

Мы разрабатываем плагины MUI для Binary Ninja <https://binary.ninja/>_ и Ghidra <https://ghidra-sre.org/>. В соответствующих каталогах плагинов содержится информация по их установке и использованию: binaryninja <plugins/binaryninja> и ghidra <plugins/ghidra>_.

Сервер Manticore <server>_ используется плагином Ghidra для взаимодействия с Manticore через gRPC.

❗ВНИМАНИЕ❗ Этот проект является экспериментальным и может быть нестабильным или непригодным для произвольных сценариев использования и целей. Пожалуйста, откройте issue, если у вас возникли трудности с использованием существующих возможностей. Мы будем рассматривать предложения по новым функциям в индивидуальном порядке. По возможности, пожалуйста, создайте pull request для улучшения или исправления проекта.

Начало работы

Если вы собираете из исходников, пожалуйста, подтяните Git-подмодули::

git submodule update --init

Затем перейдите в каталоги плагинов: binaryninja <plugins/binaryninja>_ и ghidra <plugins/ghidra>_.