Quick Start

Complete workflow in 5 minutes.

Step 1: Compile a Test Binary

gcc -g -O0 -pthread -o /tmp/server_sim \
    memguard/tests/fixtures/leaky_c/server_sim.c

Step 2: Discover Custom Allocators

memguard memhint memguard/tests/fixtures/leaky_c/

# Output:
#   Phase 1: 28 extracted → 15 candidates
#   Phase 2: LLM produced 8 summaries
#   Phase 3: Z3 validated 6, rejected 2

Step 3: Scan

memguard scan /tmp/server_sim --tools valgrind,helgrind,infer

# Expected: 7-9 bugs with AI-generated fixes

Step 4: Explore

memguard viz <scan-id>                   # visualization
memguard explain <scan-id> --issue 1     # AI reasoning
memguard harden /tmp/server_sim --scan <scan-id>
memguard taint <scan-id>                 # taint flow

Step 5: Time-Travel Debug

memguard record /tmp/server_sim
memguard timewarp <scan-id> --launch

# (rr) mg-ai / mg-why / mg-fix / reverse-continue

Step 6: Web Dashboard

memguard serve   # http://127.0.0.1:7331