mirsa 0.2.0

rust mir static analysis
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
50
51

// WARNING: This output format is intended for human consumers only
// and is subject to change without notice. Knock yourself out.
fn main() -> () {
    let mut _0: ();
    let _1: *mut MyStruct;
    let mut _4: &*mut MyStruct;
    let _9: &i32;
    scope 1 {
        debug raw_ptr => _1;
        let _2: *mut MyStruct;
        scope 2 {
            debug p => _2;
            let _3: *mut MyStruct;
            scope 3 {
                debug q => _3;
                let _5: &*mut MyStruct;
                scope 4 {
                    debug r => _5;
                    let _6: *mut MyStruct;
                    scope 5 {
                        debug w => _6;
                        let _7: i32;
                        scope 6 {
                            debug x => _7;
                            let _8: *const i32;
                            scope 7 {
                                debug ptr => _8;
                            }
                        }
                    }
                }
            }
        }
    }

    bb0: {
        _1 = null_mut::<MyStruct>() -> [return: bb1, unwind continue];
    }

    bb1: {
        _2 = const 0_usize as *mut MyStruct (PointerWithExposedProvenance);
        _4 = &_2;
        _3 = copy (*_4);
        _5 = &_1;
        _6 = copy (*_5);
        _7 = const 32_i32;
        _9 = &_7;
        _8 = &raw const (*_9);
        return;
    }
}