===========
Quick Start
===========

Complete workflow in 5 minutes.

Step 1: Compile a Test Binary
-----------------------------

.. code-block:: bash

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

Step 2: Discover Custom Allocators
----------------------------------

.. code-block:: bash

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

.. code-block:: bash

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

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

Step 4: Explore
---------------

.. code-block:: bash

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

.. code-block:: bash

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

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

Step 6: Web Dashboard
---------------------

.. code-block:: bash

   memguard serve   # http://127.0.0.1:7331