domains / families / software-engineering / unsafe-checker

unsafe-checker

separate

CRITICAL: Use for unsafe Rust code review and FFI. Triggers on: unsafe, raw pointer, FFI, extern, transmute, *mut, *const, union, #[repr(C)], libc, std::ffi, MaybeUninit, NonNull, SAFETY comment, soundness, undefined behavior, UB, safe wrapper, memory layout, bindgen, cbindgen, CString, CStr, 安全抽象, 裸指针, 外部函数接口, 内存布局, 不安全代码, FFI 绑定, 未定义行为

When to use

• unsafe Rust code review
• FFI
• raw pointer
• transmute
• extern
• SAFETY comment
• soundness
• undefined behavior

When not to use

• Escaping borrow checker without understanding why

Skill page

Source