Audits Rust code for memory safety violations, sound FFI implementations, and missing safety documentation.
The Rust Unsafe Code Checker is a specialized skill designed to help developers navigate the complexities of Unsafe Rust and Foreign Function Interface (FFI) integration. It provides expert guidance on memory layout, raw pointer manipulation, and undefined behavior prevention, ensuring that any manual memory management or external calls adhere to Rust's strict soundness requirements. By enforcing mandatory safety comments and identifying deprecated patterns like mem::uninitialized, this skill helps maintain a robust bridge between safe and unsafe codebases while minimizing the risk of memory corruption.
Key Features
01FFI and raw pointer audit for memory safety and alignment violations
02Detection of deprecated unsafe patterns with modern replacements
03Undefined Behavior (UB) risk assessment for low-level abstractions
040 GitHub stars
05Guidance on memory layout and C-style representation (#[repr(C)])
06Mandatory SAFETY comment enforcement and caller requirement review
Use Cases
01Auditing C/C++ bindings for soundness and correct ABI signatures
02Implementing custom low-level data structures or memory allocators
03Reviewing performance-critical code that requires bypassing the borrow checker
