open_vaf/analysis/
mod.rs

1//  * ******************************************************************************************
2//  * Copyright (c) 2019 Pascal Kuthe. This file is part of the OpenVAF project.
3//  * It is subject to the license terms in the LICENSE file found in the top-level directory
4//  *  of this distribution and at  https://gitlab.com/DSPOM/OpenVAF/blob/master/LICENSE.
5//  *  No part of OpenVAF, including this file, may be copied, modified, propagated, or
6//  *  distributed except according to the terms contained in the LICENSE file.
7//  * *******************************************************************************************
8
9pub mod constant_folding;
10pub mod data_flow;
11pub mod program_slicing;
12#[cfg(test)]
13mod test;
14pub use program_slicing::DependencyHandler;
15mod control_dependence;
16mod post_dominance;
17use crate::analysis::data_flow::reaching_variables::UseDefGraph;
18pub use control_dependence::ControlDependenceGraph;
19pub use post_dominance::IPDOM;
20
21pub struct ProgramDependenceGraph {
22    pub data_dependencies: UseDefGraph,
23    pub control_dependencies: ControlDependenceGraph,
24}
open_vaf/analysis/mod.rs

open_vaf/analysis/
mod.rs
