==========================================
MemGuard Documentation
==========================================

**AI-Powered Memory Leak Detector, Neuro-Symbolic Analyzer & Interactive Time-Travel Debugger**

.. image:: https://img.shields.io/badge/version-1.0.0-blue
   :alt: Version
.. image:: https://img.shields.io/badge/license-MIT-green
   :alt: License
.. image:: https://img.shields.io/badge/python-3.10+-yellow
   :alt: Python

MemGuard is a comprehensive memory safety platform that unifies 15 detection tools,
neuro-symbolic analysis (LLM + Z3), AI-powered debugging, time-travel execution replay,
taint flow tracking, heap profiling, and binary hardening auditing into a single
integrated workflow.

.. code-block:: bash

   pip install -e .
   memguard doctor                        # verify tools
   memguard memhint ./src/                # discover custom allocators
   memguard scan /tmp/binary --tools valgrind,infer   # scan + AI
   memguard timewarp <scan-id> --launch   # time-travel debug
   memguard serve                         # web dashboard

.. raw:: html

   <div style="margin:1.5em 0">
   <img src="https://raw.githubusercontent.com/memory-analyzer/memguard/main/example_outputs/gui1.png" alt="MemGuard Dashboard" style="max-width:100%;border-radius:8px;border:1px solid #d0d7de"/>
   </div>

.. toctree::
   :maxdepth: 2
   :caption: Getting Started

   guides/installation
   guides/quickstart
   guides/configuration

.. toctree::
   :maxdepth: 2
   :caption: Core Features

   features/scanning
   features/memhint
   features/ai_analysis
   features/timetravel
   features/taintflow
   features/heaptrack
   features/visualization
   features/hardening
   features/cve_matching
   features/explainability

.. toctree::
   :maxdepth: 2
   :caption: Technical Reference

   reference/architecture
   reference/cli
   reference/api
   reference/schema
   reference/pipeline

.. toctree::
   :maxdepth: 1
   :caption: Development

   development/contributing
   development/changelog


Indices and tables
==================

* :ref:`genindex`
* :ref:`search`