Mirage

Version: 1.2.4

Path-aware code intelligence engine for Rust. Analyzes control-flow graphs from Magellan databases.

Purpose

Mirage reads Magellan code graphs and provides control-flow analysis:

Path enumeration through functions
Dominance and post-dominance analysis
Natural loop detection
Dead code detection
Call graph cycle detection
Inter-procedural reachability

Quick Start

# Install
cargo install mirage-analyzer

# Index your codebase with Magellan first
magellan watch --root ./src --db .magellan/mirage.db

# Analyze CFG
mirage --db .magellan/mirage.db paths --function "main"
mirage --db .magellan/mirage.db cfg --function "process"
mirage --db .magellan/mirage.db cycles

Backends

Mirage supports Magellan's database formats:

Backend	File Extension	Feature Flag	Status
SQLite	`.db`	`backend-sqlite`	Default
Geometric	`.geo`	`backend-geometric`	Supported

Note: The SQLite backend is now default. Install with:

# Default (SQLite)
cargo install mirage-analyzer

# Geometric backend only
cargo install mirage-analyzer --features backend-geometric --no-default-features

Requirements

Magellan 3.1.7+ / Schema v11 (or v10 with 4D coordinate columns)
Rust 1.70+ (for MIR parsing)
Magellan database (.db) created by magellan watch

Database Location: Default is .magellan/mirage.db (auto-discovered)

Documentation

MANUAL.md — Command reference
ARCHITECTURE.md — Design and integration
API_INTEGRATION.md — Magellan contract
INVARIANTS.md — Behavioral guarantees
CHANGELOG.md — Version history

License

GPL-3.0. See LICENSE.