Informazioni

Maat è un framework open-source per l'esecuzione simbolica dinamica e l'analisi binaria. Fornisce varie funzionalità come esecuzione simbolica, analisi delle macchie (taint analysis), risoluzione di vincoli, caricamento binario, simulazione dell'ambiente e sfrutta la libreria sleigh di Ghidra per il lifting dell'assembly: https://maat.re

Caratteristiche principali:

• Veloce e Portabile: Progettato per scalare su applicazioni reali. Completamente scritto in C++ per buone prestazioni in esecuzione. Non ci sono quasi dipendenze a runtime, e la maggior parte di esse sono opzionali
• User-friendly: Maat ha un'API flessibile simile a un debugger, e le sue funzionalità sono configurabili per adattarsi a molti casi d'uso diversi. Come ogni moderno framework che si rispetti, viene fornito con binding Python
• Multi-arch: Con il lifting e l'emulazione basati sulla fantastica libreria sleigh di Ghidra, Maat ha il potenziale per emulare molte architetture, incluse quelle esotiche

Per iniziare

• Installazione
• Hacking
• Contribuire
• Tutorial
  • Per iniziare
  • Event hooking
  • Esecuzione simbolica dinamica
• Documentazione
  • API Python
  • API C++
• Esempio
• Contatti

Installazione

Per installare il modulo python di Maat:

python3 -m pip install pymaat

Per installare l'SDK nativo di Maat e utilizzare l'API C++, consultare BUILDING.md

Esempio

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()

Contatti

Per discussioni generali, domande e suggerimenti, usiamo Discussioni su Github

Per segnalare problemi e bug, si prega di usare Issue su Github

Per qualsiasi altra cosa, invia un'email a [email protected]