trailofbits/manticoreuiL'interface utilisateur de Manticore avec des plugins pour Binary Ninja et Ghidra
.. image:: https://raw.githubusercontent.com/trailofbits/manticore/master/docs/images/manticore.png :width: 200px :align: center :alt: Manticore
Le projet Manticore User Interface (MUI) fournit un plugin d'interface graphique pour différents désassembleurs, permettant aux utilisateurs d'interagir facilement et de visualiser la progression du moteur d'exécution symbolique Manticore <https://github.com/trailofbits/manticore>_ pour l'analyse de contrats intelligents et de binaires natifs.
Nous développons des plugins MUI pour Binary Ninja <https://binary.ninja/>_ et Ghidra <https://ghidra-sre.org/>. Le répertoire de chaque plugin contient des informations sur la façon de l'installer et de l'utiliser : binaryninja <plugins/binaryninja> et ghidra <plugins/ghidra>_.
Le serveur Manticore <server>_ est utilisé par le plugin Ghidra pour interagir avec Manticore via gRPC.
❗ATTENTION❗ Ce projet est expérimental et peut être instable ou inutilisable pour des cas d'utilisation et des cibles arbitraires. Veuillez ouvrir un ticket si vous rencontrez des difficultés avec les fonctionnalités existantes. Nous examinerons les suggestions de nouvelles fonctionnalités au cas par cas. Si possible, veuillez soumettre une pull request pour améliorer ou corriger le projet.
Pour commencer
Si vous compilez à partir des sources, veuillez récupérer le(s) sous-module(s) Git ::
git submodule update --init
Ensuite, veuillez naviguer vers les répertoires des plugins : binaryninja <plugins/binaryninja>_ et ghidra <plugins/ghidra>_.