mirage-analyzer 1.3.0

Path-Aware Code Intelligence Engine for Rust
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14

//! MIR extraction and translation

pub mod charon_llbc;
pub mod translator;

use crate::cfg::Cfg;
use anyhow::Result;
use std::path::Path;

/// Extract CFGs from a Rust project using Charon
pub fn extract_rust_cfg(_project_path: &Path) -> Result<Vec<Cfg>> {
    // TODO: Implement orchestrator in Milestone 2
    Ok(vec![])
}