rapx/analysis/
mod.rs

1pub mod alias_analysis;
2pub mod api_dependency;
3pub mod callgraph;
4pub mod dataflow;
5pub mod ownedheap_analysis;
6pub mod path_analysis;
7pub mod range_analysis;
8pub mod safetyflow_analysis;
9pub mod scan;
10pub mod ssa_transform;
11
12/// This is a general trait designed for all program analysis features.
13pub trait Analysis {
14    /// Return the name of the analysis.
15    fn name(&self) -> &'static str;
16
17    /// Execute the analysis.
18    fn run(&mut self);
19
20    /// Reset the analysis and cleanup the memory.
21    fn reset(&mut self);
22}