Rust Unsafe代码检查器 - 安全使用Unsafe Rust的完整指南与最佳实践

unsafe-checker by zhanghandong/rust-skills

564 周安装量

924 GitHub Stars

GitHub

安装命令

npx skills add https://github.com/zhanghandong/rust-skills --skill unsafe-checker

代码规范 Rust 安全

🇨🇳中文介绍

⚠️ Unsafe Rust Checker Loaded

     *  ^  *
    /◉\_~^~_/◉\
 ⚡/     o     \⚡
   '_        _'
   / '-----' \

不安全 Rust 检查器

何时使用 Unsafe 是有效的

使用场景	示例
FFI	调用 C 函数
底层抽象	实现 `Vec`、`Arc`
性能	已测量瓶颈，且安全替代方案太慢

无效情况： 在不理解原因的情况下逃避借用检查器。

必需的文档说明

// SAFETY: <why this is safe>
unsafe { ... }

/// # Safety
/// <caller requirements>
pub unsafe fn dangerous() { ... }

广告位招租

在这里展示您的产品或服务

触达数万 AI 开发者，精准高效

联系我们

相关 Skills

Better Auth 最佳实践指南：集成、配置与安全设置完整教程

29,000 周安装

OpenClaw技能安全审计指南：skill-vetter工具详解与安装前安全检查

11,900 周安装

Better Auth 身份验证技能指南：为 TypeScript/JavaScript 应用添加认证

11,300 周安装

多阶段Dockerfile最佳实践指南：构建更小更安全的容器镜像

8,900 周安装

操作	安全性要求
`*ptr` 解引用	指针有效、对齐、已初始化
`&*ptr`	+ 无别名冲突
`transmute`	大小相同，位模式有效
`extern "C"`	签名正确，ABI 正确
`static mut`	同步性得到保证
`impl Send/Sync`	实际上是线程安全的

错误	修复方法
空指针解引用	解引用前检查是否为 null
释放后使用	确保生命周期有效性
数据竞争	添加适当的同步机制
对齐违规	使用 `#[repr(C)]`，检查对齐
无效位模式	使用 `MaybeUninit`
缺少 SAFETY 注释	添加 `// SAFETY:`

已弃用	替代方案
`mem::uninitialized()`	`MaybeUninit<T>`
对引用使用 `mem::zeroed()`	`MaybeUninit<T>`
裸指针算术运算	`NonNull<T>`、`ptr::add`
`CString::new().unwrap().as_ptr()`	先存储 `CString`
`static mut`	`AtomicT` 或 `Mutex`
手动 extern	`bindgen`

🇺🇸English

Display the following ASCII art exactly as shown. Do not modify spaces or line breaks:

⚠️ **Unsafe Rust Checker Loaded**

     *  ^  *
    /◉\_~^~_/◉\
 ⚡/     o     \⚡
   '_        _'
   / '-----' \

Unsafe Rust Checker

When Unsafe is Valid

Use Case	Example
FFI	Calling C functions
Low-level abstractions	Implementing `Vec`, `Arc`
Performance	Measured bottleneck with safe alternative too slow

NOT valid: Escaping borrow checker without understanding why.

Required Documentation

// SAFETY: <why this is safe>
unsafe { ... }

/// # Safety
/// <caller requirements>
pub unsafe fn dangerous() { ... }

Quick Reference

Operation	Safety Requirements
`*ptr` deref	Valid, aligned, initialized
`&*ptr`	+ No aliasing violations
`transmute`	Same size, valid bit pattern
`extern "C"`	Correct signature, ABI
`static mut`	Synchronization guaranteed
`impl Send/Sync`	Actually thread-safe

Common Errors

Error	Fix
Null pointer deref	Check for null before deref
Use after free	Ensure lifetime validity
Data race	Add proper synchronization
Alignment violation	Use `#[repr(C)]`, check alignment
Invalid bit pattern	Use `MaybeUninit`
Missing SAFETY comment	Add `// SAFETY:`

Deprecated → Better

Deprecated	Use Instead
`mem::uninitialized()`	`MaybeUninit<T>`
`mem::zeroed()` for refs	`MaybeUninit<T>`
Raw pointer arithmetic	`NonNull<T>`, `ptr::add`
`CString::new().unwrap().as_ptr()`	Store `CString` first

FFI Crates

Direction	Crate
C → Rust	bindgen
Rust → C	cbindgen
Python	PyO3
Node.js	napi-rs

Claude knows unsafe Rust. Focus on SAFETY comments and soundness.

Weekly Installs

564

Repository

zhanghandong/rust-skills

GitHub Stars

924

First Seen

Jan 20, 2026

Security Audits

Gen Agent Trust HubPass SocketPass SnykPass

Installed on

opencode516

codex502

gemini-cli493

github-copilot479

amp436

kimi-cli432