mirage-analyzer 1.2.5

Path-Aware Code Intelligence Engine for Rust
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71

# Mirage

[![Crates.io](https://img.shields.io/crates/v/mirage-analyzer)](https://crates.io/crates/mirage-analyzer)
[![Documentation](https://docs.rs/mirage-analyzer/badge.svg)](https://docs.rs/mirage-analyzer)

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

```bash
# 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:
```bash
# Default (SQLite)
cargo install mirage-analyzer

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

## Requirements

- **[Magellan](https://github.com/oldnordic/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](MANUAL.md)** — Command reference
- **[ARCHITECTURE.md](ARCHITECTURE.md)** — Design and integration
- **[API_INTEGRATION.md](API_INTEGRATION.md)** — Magellan contract
- **[INVARIANTS.md](INVARIANTS.md)** — Behavioral guarantees
- **[CHANGELOG.md](CHANGELOG.md)** — Version history

## License

GPL-3.0. See [LICENSE](LICENSE).