Manticore UI

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

El proyecto Manticore User Interface (MUI) proporciona un complemento de interfaz gráfica de usuario para diferentes desensambladores que permite a los usuarios interactuar fácilmente y ver el progreso del motor de ejecución simbólica Manticore <https://github.com/trailofbits/manticore>_ para el análisis de contratos inteligentes y binarios nativos.

Estamos desarrollando complementos MUI para Binary Ninja <https://binary.ninja/>_ y Ghidra <https://ghidra-sre.org/>. El directorio de cada complemento contiene información sobre cómo instalarlo y usarlo: binaryninja <plugins/binaryninja> y ghidra <plugins/ghidra>_.

El servidor Manticore <server>_ es utilizado por el complemento Ghidra para interactuar con Manticore a través de gRPC.

❗ATENCIÓN❗ Este proyecto es experimental y puede ser inestable o inutilizable para casos de uso y objetivos arbitrarios. Abra un issue si tiene dificultades para usar las funciones existentes. Consideraremos sugerencias de nuevas funciones caso por caso. Si es posible, abra una pull request para mejorar o corregir el proyecto.

Primeros Pasos

Si compila desde el código fuente, descargue los submódulos de Git::

git submodule update --init

Luego, navegue a los directorios de los complementos: binaryninja <plugins/binaryninja>_ y ghidra <plugins/ghidra>_.