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
44
45
46
47
48
49

pub mod participant;
pub mod slice_contains;
pub mod vec_remove;

use participant::ParticipantCheck;
use slice_contains::SliceContainsCheck;
use vec_remove::VecRemoveCheck;

use crate::analysis::core::dataflow::graph::Graph;
use crate::analysis::opt::OptCheck;

use rustc_middle::ty::TyCtxt;

use super::super::LEVEL;

pub struct SuboptimalCheck {
    participant: ParticipantCheck,
    slice_contains: SliceContainsCheck,
    vec_remove: VecRemoveCheck,
}

impl OptCheck for SuboptimalCheck {
    fn new() -> Self {
        Self {
            participant: ParticipantCheck::new(),
            slice_contains: SliceContainsCheck::new(),
            vec_remove: VecRemoveCheck::new(),
        }
    }

    fn check(&mut self, graph: &Graph, tcx: &TyCtxt) {
        self.vec_remove.check(graph, tcx);
        let level = LEVEL.lock().unwrap();
        if *level == 2 {
            self.participant.check(graph, tcx);
            self.slice_contains.check(graph, tcx);
        }
    }

    fn report(&self, graph: &Graph) {
        self.participant.report(graph);
        self.slice_contains.report(graph);
        self.vec_remove.report(graph);
    }

    fn cnt(&self) -> usize {
        self.participant.cnt() + self.slice_contains.cnt() + self.vec_remove.cnt()
    }
}