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
24
25
26
27
28

use super::assign::*;

#[derive(Debug, Clone)]
pub struct ConstValue {
    pub local: usize,
    pub value: usize,
}

impl ConstValue {
    pub fn new(local: usize, value: usize) -> Self {
        ConstValue { local, value }
    }
}

#[derive(Debug, Clone)]
pub struct AliasBlockFacts<'tcx> {
    pub assignments: Vec<Assignment<'tcx>>,
    pub const_value: Vec<ConstValue>,
}

impl<'tcx> AliasBlockFacts<'tcx> {
    pub fn new() -> Self {
        Self {
            assignments: Vec::new(),
            const_value: Vec::new(),
        }
    }
}