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


pub struct SSAstmt;
pub struct ESSAstmt;
use std::slice;

// testcase for the path constraints analysis
pub fn test7(a: &mut [u8], b: &[u32; 20]) {
    unsafe {
        let c = slice::from_raw_parts_mut(a.as_mut_ptr() as *mut u32, 20);
        for i in 0..20 {
            c[i] ^= b[i];
        }
    }
}

fn main() {
    let mut x = [0u8;40];
    let y = [0u32;20];
    test7(&mut x[1..32], &y);
}