Function build_adg

src/bin/harness.rs:286–315

(project: String, kind: &ADGKind, target: &Option<PathBuf>)

}

fn build_adg(project: String, kind: &ADGKind, target: &Option<PathBuf>) -> Result<()> {
    let deopt = Deopt::new(project)?;
    match kind {
        ADGKind::Sparse => {
            if let Some(program_path) = target {
                let ast = Executor::extract_ast(program_path, vec![], &deopt)?;
                let cfg = CFGBuilder::build_cfg(ast)?;
                let adg = ADGBuilder::new().sparse_build(cfg)?;
                let save_path: PathBuf = [deopt.get_library_adg_dir()?, "sparse.adg".into()]
                    .iter()
                    .collect();
                adg.dump_to_file(&save_path, true)?;
            }
        }
        ADGKind::Dense => {
            let mut observer = Observer::new(&deopt);
            let seed_dir = if let Some(dir) = target {
                dir.clone()
            } else {
                deopt.get_library_seed_dir()?
            };
            for entry in std::fs::read_dir(seed_dir)? {
                let seed = entry?.path();
                observer.add_program_to_adg(&seed)?;
            }
            observer.save_coalesced_adg()?;
        }
    }
    Ok(())
}

fn constraint_infer(project: String) -> Result<()> {
    let deopt = Deopt::new(project)?;