============ Manticore UI

.. image:: https://raw.githubusercontent.com/trailofbits/manticore/master/docs/images/manticore.png :width: 200px :align: center :alt: Manticore

Das Manticore User Interface (MUI)-Projekt bietet ein Plugin mit grafischer Benutzeroberfläche für verschiedene Disassembler, mit dem Benutzer einfach interagieren und den Fortschritt der symbolischen Ausführungsengine Manticore <https://github.com/trailofbits/manticore>_ bei der Analyse von Smart Contracts und nativen Binärdateien anzeigen können.

Wir entwickeln MUI-Plugins für Binary Ninja <https://binary.ninja/>_ und Ghidra <https://ghidra-sre.org/>. Die jeweiligen Plugin-Verzeichnisse enthalten Informationen zur Installation und Nutzung: binaryninja <plugins/binaryninja> und ghidra <plugins/ghidra>_.

Der Manticore Server <server>_ wird vom Ghidra-Plugin verwendet, um über gRPC mit Manticore zu interagieren.

❗ACHTUNG❗ Dieses Projekt ist experimentell und kann für beliebige Anwendungsfälle und Ziele instabil oder unbrauchbar sein. Bitte eröffnen Sie ein Issue, wenn Sie bei der Nutzung der vorhandenen Funktionen auf Probleme stoßen. Wir prüfen Vorschläge für neue Funktionen im Einzelfall. Wenn möglich, reichen Sie bitte einen Pull-Request zur Verbesserung oder Fehlerbehebung ein.

Erste Schritte

Falls Sie aus dem Quellcode bauen, ziehen Sie bitte die Git-Submodule::

git submodule update --init

Navigieren Sie dann zu den Plugin-Verzeichnissen: binaryninja <plugins/binaryninja>_ und ghidra <plugins/ghidra>_.