https://github.com/trailofbits/ManticoreUI

The Manticore User Interface with plugins for Binary Ninja and Ghidra
https://github.com/trailofbits/ManticoreUI

Last synced: 22 days ago
JSON representation

The Manticore User Interface with plugins for Binary Ninja and Ghidra

• Host: GitHub
• URL: https://github.com/trailofbits/ManticoreUI
• Owner: trailofbits
• License: agpl-3.0
• Created: 2021-07-07T21:15:05.000Z (over 3 years ago)
• Default Branch: master
• Last Pushed: 2024-03-20T17:04:56.000Z (9 months ago)
• Last Synced: 2024-11-16T08:50:27.390Z (27 days ago)
• Language: Python
• Homepage:
• Size: 51.1 MB
• Stars: 73
• Watchers: 23
• Forks: 11
• Open Issues: 16
• Metadata Files:
  • Readme: README.rst
  • License: LICENSE

Awesome Lists containing this project

• awesome-hacking-lists - trailofbits/ManticoreUI - The Manticore User Interface with plugins for Binary Ninja and Ghidra (Python)

README

        
============

Manticore UI

============

.. image:: https://raw.githubusercontent.com/trailofbits/manticore/master/docs/images/manticore.png

    :width: 200px

    :align: center

    :alt: Manticore

The Manticore User Interface (MUI) project provides a graphical user interface plugin for different disassemblers that allows users to interact easily and view the progress of the `Manticore symbolic execution engine `_ for analysis of smart contracts and native binaries.

We are developing MUI plugins for `Binary Ninja `_ and  `Ghidra `_. Each plugin's respective directory contains information on how to install and use it: `binaryninja `_ and `ghidra `_.

The `Manticore Server `_ is used by the Ghidra plugin to interact with Manticore over gRPC.

❗ATTENTION❗ This project is experimental and may be unstable or unusable for arbitrary use-cases and targets. Please open an issue if you have any difficulties using the existing features. We will consider new feature suggestions on a case-by-case basis. If possible, please open a pull request to improve or fix the project.

***************

Getting Started

***************

If building from source, please pull the Git submodule(s)::

    git submodule update --init

Then, please navigate to the plugin directories: `binaryninja `_ and `ghidra `_.