ManticoreUI

Manticore UI

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

Il progetto Manticore User Interface (MUI) fornisce un plugin dell'interfaccia utente grafica per diversi disassemblatori che permette agli utenti di interagire facilmente e visualizzare i progressi del motore di esecuzione simbolica Manticore <https://github.com/trailofbits/manticore>_ per l'analisi di smart contract e binari nativi.

Stiamo sviluppando plugin MUI per Binary Ninja <https://binary.ninja/>_ e Ghidra <https://ghidra-sre.org/>. Le rispettive directory di ciascun plugin contengono informazioni su come installarli e usarli: binaryninja <plugins/binaryninja> e ghidra <plugins/ghidra>_.

Il Manticore Server <server>_ è utilizzato dal plugin Ghidra per interagire con Manticore tramite gRPC.

❗ATTENZIONE❗ Questo progetto è sperimentale e potrebbe essere instabile o inutilizzabile per casi d'uso e target arbitrari. Apri una issue se hai difficoltà nell'utilizzo delle funzionalità esistenti. Valuteremo i suggerimenti per nuove funzionalità caso per caso. Se possibile, apri una pull request per migliorare o correggere il progetto.

Per Iniziare

Se si compila dal codice sorgente, si prega di aggiornare i sottomoduli Git::

git submodule update --init

Quindi, si prega di navigare alle directory dei plugin: binaryninja <plugins/binaryninja>_ e ghidra <plugins/ghidra>_.