unsafe-checker

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 绑定, 未定义行为

Try your first task

Review one unsafe Rust block

Start a fresh conversation.

Use unsafe-checker to review the unsafe Rust block I provide and its surrounding code. Identify soundness risks and missing SAFETY explanations, and describe the invariants needed to justify the operation.

Required inputs

One unsafe Rust block and enough surrounding code to understand pointer validity, ownership, lifetimes, and synchronization.

Suggested template by Skill Leaderboard, grounded in the linked source. Task evidence ↗

Inside SKILL.md

86 lines

Section content has not been verified for this skill yet.

Full source remains withheld under the current source-display policy. Read the author’s source ↗