unsafe-checker

To audit unsafe Rust blocks, this checker statically analyzes raw pointers, unions, and memory layouts to identify aliasing and initialization gaps. It produces actionable remediation guidance to enforce safety invariants across your codebase.

Reviewing FFI interfaces for stable memory layouts involves analyzing external interfaces and verifying thread-safety. This checker enforces proper documentation and validates stable FFI layouts to ensure robust cross-language boundaries.

Enforcing SAFETY comments for unsafe Rust requires templates to document safety invariants. The checker provides structured guidance to verify proper documentation and ensure every unsafe block includes necessary safety justifications.

Checking panic safety across unsafe Rust blocks and FFI boundaries is supported. The checker analyzes panic-safety scenarios within unsafe sections and generates remediation guidance to prevent undefined behavior during unwinding.

This unsafe Rust reviewer works without external dependencies. It operates directly on Rust codebases containing unsafe blocks, applying rule-driven static checks to identify safety gaps and verify documentation.

Static checkers for unsafe Rust should not replace dynamic testing or formal verification for highly complex memory manipulation. Use this checker for rule-driven static checks and remediation guidance, but validate critical safety invariants with comprehensive tests.