ManticoreUI

Manticore UI

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

Manticore ユーザーインターフェース（MUI）プロジェクトは、さまざまな逆アセンブラ向けのグラフィカルユーザーインターフェースプラグインを提供します。これにより、ユーザーはスマートコントラクトやネイティブバイナリの解析のための Manticore シンボリック実行エンジン <https://github.com/trailofbits/manticore>_ の進行状況を簡単に操作・確認できます。

現在、Binary Ninja <https://binary.ninja/>_ および Ghidra <https://ghidra-sre.org/>_ 向けの MUI プラグインを開発しています。各プラグインのディレクトリには、インストール方法と使用方法が記載されています：binaryninja <plugins/binaryninja>_ および ghidra <plugins/ghidra>_。

Manticore サーバー <server>_ は Ghidra プラグインが gRPC 経由で Manticore とやり取りするために使用されます。

❗注意❗ このプロジェクトは実験段階であり、任意のユースケースやターゲットに対して不安定または使用できない可能性があります。既存の機能の利用に問題がある場合は、Issue を開いてください。新機能の提案はケースバイケースで検討します。可能であれば、プロジェクトの改善や修正のためにプルリクエストを送ってください。

はじめに

ソースからビルドする場合は、Git サブモジュールを取得してください：:

git submodule update --init

その後、プラグインディレクトリに移動してください：binaryninja <plugins/binaryninja>_ および ghidra <plugins/ghidra>_。