rapx/analysis/mod.rs
1pub mod alias;
2pub mod api_dependency;
3pub mod callgraph;
4pub mod dataflow;
5pub mod owned_heap;
6pub mod path;
7pub mod points_to;
8pub mod range;
9pub mod safety_flow;
10pub mod scan;
11pub mod ssa_transform;
12
13/// This is a general trait designed for all program analysis features.
14pub trait Analysis {
15 fn run(&mut self);
16}