概要

Maatは、オープンソースの動的シンボリック実行およびバイナリ解析フレームワークです。シンボリック実行、汚染解析、制約解決、バイナリ読み込み、環境シミュレーションなど様々な機能を提供し、アセンブリリフティングにはGhidraのsleighライブラリを活用しています: https://maat.re

主な機能:

高速でポータブル: 実世界のアプリケーションにスケールするよう設計されています。優れた実行性能のため完全にC++で書かれています。実行時の依存関係はほとんどなく、そのほとんどはオプションです。
ユーザーフレンドリー: Maatは柔軟なデバッガのようなAPIを持ち、その機能は多くの異なるユースケースに適応するように設定可能です。自負するモダンフレームワークとして、Pythonバインディングが付属しています。
マルチアーキテクチャ: Ghidraの素晴らしいsleighライブラリに基づくリフティングとエミュレーションにより、Maatはエキゾチックなものを含む多くのアーキテクチャをエミュレートする潜在能力を持っています。

はじめに

インストール

MaatのPythonモジュールをインストールするには:

python3 -m pip install pymaat

MaatのネイティブSDKをインストールしてC++ APIを使用するには、BUILDING.mdを参照してください。

例

from maat import *

# Create a symbolic engine for Linux X86-32bits
engine = MaatEngine(ARCH.X86, OS.LINUX)

# Load a binary with one command line argument
engine.load("./some_binary", BIN.ELF32, args=[engine.vars.new_symbolic_buffer("some_arg", 20)])

# Get current eax value
engine.cpu.eax

# Read 4 bytes at the top of the stack
engine.mem.read(engine.cpu.esp, 4)

# Set a callback displaying every memory read
def show_mem_access(engine):
    mem_access = engine.info.mem_access
    print(f"Instruction at {engine.info.addr} reads {mem_access.size} bytes at {mem_access.addr}")

engine.hooks.add(EVENT.MEM_R, WHEN.BEFORE, callbacks=[show_mem_access])

# Take and restore snapshots
snap = engine.take_snapshot()
engine.restore_snapshot(snap)

# Run the binary
engine.run()

連絡先

一般的な議論、質問、提案については、Github Discussionsをご利用ください。

問題やバグの報告は、Github Issuesをご利用ください。

その他のお問い合わせは、[email protected]までメールをお送りください。

maat

人気

概要

はじめに

インストール

例

連絡先