pub mod alias_analysis;
pub mod api_dependency;
pub mod callgraph;
pub mod dataflow;
pub mod ownedheap_analysis;
pub mod path_analysis;
pub mod range_analysis;
pub mod safetyflow_analysis;
pub mod scan;
pub mod ssa_transform;
/// This is a general trait designed for all program analysis features.
pub trait Analysis {
fn run(&mut self);
}