rapx 0.7.1

A static analysis platform for use-after-free, memory leakage detection, etc
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

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 scan;
pub mod ssa_transform;
pub mod upg;
pub mod helpers;

/// This is a general trait designed for all program analysis features.
pub trait Analysis {
    /// Return the name of the analysis.
    fn name(&self) -> &'static str;

    /// Execute the analysis.
    fn run(&mut self);

    /// Reset the analysis and cleanup the memory.
    fn reset(&mut self);
}