ferros-mir
| Crates.io | ferros-mir |
| lib.rs | ferros-mir |
| version | 0.0.0 |
| created_at | 2025-11-13 20:32:04.817203+00 |
| updated_at | 2025-11-13 20:32:04.817203+00 |
| description | MIR integration, introspection, and analysis for Ferros. |
| homepage | |
| repository | https://github.com/jamallyons/ferros |
| max_upload_size | |
| id | 1931836 |
| size | 2,644 |
Jamal (JamalLyons)
documentation
README
ferros-mir
MIR integration, introspection, and analysis for Ferros.
Overview
ferros-mir provides Rust-specific debugging capabilities by integrating with the Rust compiler's Mid-level Intermediate Representation (MIR), enabling:
- MIR block traversal and analysis
- Symbolic execution
- Type inspection and variable lifetime analysis
- MIR visualization and interpretation
- Compiler integration hooks
Usage
Add ferros-mir to your Cargo.toml:
[dependencies]
ferros-mir = "0.0.0"
Features
- MIR introspection and analysis
- Symbolic execution engine
- Type and lifetime inspection
- Integration with Rust compiler internals
License
Licensed under the Apache License, Version 2.0. See the repository for details.