rapx 0.6.252

A static analysis platform for use-after-free, memory leakage detection, etc
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43

use crate::analysis::{
    Analysis,
    core::{
        alias_analysis::{AliasAnalysis, FnAliasMapWrapper, default::AliasAnalyzer},
        dataflow::{Arg2RetMapWrapper, DataFlowAnalysis, default::DataFlowAnalyzer},
        ownedheap_analysis::{OHAResultMapWrapper, OwnedHeapAnalysis, default::OwnedHeapAnalyzer},
        range_analysis::{PathConstraintMapWrapper, RangeAnalysis, default::RangeAnalyzer},
    },
};

use rustc_middle::ty::TyCtxt;

pub struct Test<'tcx> {
    pub tcx: TyCtxt<'tcx>,
}

impl<'tcx> Test<'tcx> {
    pub fn new(tcx: TyCtxt<'tcx>) -> Self {
        Self { tcx }
    }

    pub fn start(&self) {
        let mut alias_analysis = AliasAnalyzer::new(self.tcx);
        alias_analysis.run();
        let result = alias_analysis.get_local_fn_alias();
        rap_info!("{}", FnAliasMapWrapper(result));

        let mut dataflow_analysis = DataFlowAnalyzer::new(self.tcx, false);
        dataflow_analysis.run();
        let dataflow = dataflow_analysis.get_all_arg2ret();
        rap_info!("{}", Arg2RetMapWrapper(dataflow));

        let mut heap_analysis = OwnedHeapAnalyzer::new(self.tcx);
        heap_analysis.run();
        let result = heap_analysis.get_all_items();
        rap_info!("{}", OHAResultMapWrapper(result));

        let mut range_analysis = RangeAnalyzer::<i64>::new(self.tcx, false);
        range_analysis.run();
        let path_constraint = range_analysis.get_all_path_constraints();
        rap_info!("{}", PathConstraintMapWrapper(path_constraint));
    }
}