What does the Rust Unsafe Checker actually do?

It reviews Rust source files for the unsafe keyword, raw pointer dereferencing, and FFI calls to ensure they meet Rust's safety invariants and documentation standards.

Why should I use this over standard clippy?

This skill provides deeper contextual reasoning for complex FFI patterns, memory layout invariants, and custom synchronization logic that static linters often overlook.

Can it help with Rust-to-Python or Node.js bindings?

Yes, it includes specialized knowledge for crates like PyO3 and napi-rs to ensure cross-language memory management is handled soundly.

Does it require specific documentation styles?

Yes, it prioritizes the presence of '// SAFETY:' comments for unsafe blocks and '# Safety' documentation sections for public unsafe functions.

Can it detect all cases of Undefined Behavior (UB)?

While it helps identify common pitfalls like null pointer dereferences and alignment violations, it is designed to be used alongside tools like Miri for comprehensive runtime validation.

Rust Unsafe Code Checker

Name: Rust Unsafe Code Checker
Author: lywa1998

bylywa1998

Security & Testing

Audits Rust code for memory safety violations, sound FFI implementations, and missing safety documentation.

About

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

FFI and raw pointer audit for memory safety and alignment violations
Detection of deprecated unsafe patterns with modern replacements
Undefined Behavior (UB) risk assessment for low-level abstractions
0 GitHub stars
Guidance on memory layout and C-style representation (#[repr(C)])
Mandatory SAFETY comment enforcement and caller requirement review

Use Cases

Auditing C/C++ bindings for soundness and correct ABI signatures
Implementing custom low-level data structures or memory allocators
Reviewing performance-critical code that requires bypassing the borrow checker

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add lywa1998/self-host-claude-marketplace unsafe-checker

For use in Claude.ai and ChatGPT

Download Skill

GitHub