0006-alpm-rs.rs

/*!
```rudra-poc
[target]
crate = "alpm-rs"
version = "0.1.24"

[report]
issue_url = "https://github.com/pigeonhands/rust-arch/issues/2"
issue_date = 2020-08-20
rustsec_url = "https://github.com/RustSec/advisory-db/pull/360"
rustsec_id = "RUSTSEC-2020-0032"

[[bugs]]
analyzer = "Manual"
guide = "UnsafeDestructor"
bug_class = "Other"
rudra_report_locations = []
```
!*/
#![forbid(unsafe_code)]

use alpm_rs::macros::StrcCtx;

fn main() {
    let mut v1: Vec<i8> = vec![1, 2, 3, 0];
    let _ = StrcCtx {
        ptr: v1.as_mut_ptr(),
    };

    // use-after-free in v1
    // v1 and v2 are backed by the same buffer
    let v2: Vec<i8> = vec![4, 5, 6, 0];

    let measure1 = v2[0];
    v1[0] = 123;
    let measure2 = v2[0];

    assert_eq!(measure1, measure2);
}