MCPcopy Create free account
hub / github.com/CodeSentryAI/lockbud / assume_ptr_write_fp

Function assume_ptr_write_fp

toys/invalid-free/src/main.rs:19–33  ·  view source on GitHub ↗
()

Source from the content-addressed store, hash-verified

17}
18
19fn assume_ptr_write_fp() {
20 #[derive(Debug)]
21 struct Obj {
22 a: Vec<i32>,
23 b: bool,
24 }
25
26 let mut uninit = std::mem::MaybeUninit::<Obj>::uninit();
27 unsafe {
28 let ptr = uninit.as_mut_ptr();
29 addr_of_mut!((*ptr).a).write(Vec::new());
30 addr_of_mut!((*ptr).b).write(true);
31 uninit.assume_init();
32 }
33}
34
35fn assume() {
36 let uninit = std::mem::MaybeUninit::<Vec<i32>>::uninit();

Callers 1

mainFunction · 0.85

Calls 1

uninitFunction · 0.85

Tested by

no test coverage detected