Manticore UI

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

O projeto Manticore User Interface (MUI) fornece um plugin de interface gráfica para diferentes descompiladores que permite aos usuários interagir facilmente e visualizar o progresso do Manticore symbolic execution engine <https://github.com/trailofbits/manticore>_ para análise de contratos inteligentes e binários nativos.

Estamos desenvolvendo plugins MUI para Binary Ninja <https://binary.ninja/>_ e Ghidra <https://ghidra-sre.org/>. O diretório respectivo de cada plugin contém informações sobre como instalá-lo e usá-lo: binaryninja <plugins/binaryninja> e ghidra <plugins/ghidra>_.

O Manticore Server <server>_ é usado pelo plugin Ghidra para interagir com o Manticore via gRPC.

❗ATENÇÃO❗ Este projeto é experimental e pode ser instável ou inutilizável para casos de uso e alvos arbitrários. Por favor, abra uma issue se tiver dificuldades ao usar os recursos existentes. Consideraremos sugestões de novos recursos caso a caso. Se possível, abra um pull request para melhorar ou corrigir o projeto.

Getting Started

Se estiver compilando a partir do código-fonte, por favor, faça o pull do(s) submodule(s) Git::

git submodule update --init

Em seguida, navegue até os diretórios dos plugins: binaryninja <plugins/binaryninja>_ e ghidra <plugins/ghidra>_.