What problem does it solve?
Rust codebases can harbor subtle security flaws even with Rust's safety guarantees. This skill identifies Rust-specific security anti-patterns, focusing on unsafe blocks, FFI boundaries, concurrency hazards, and other patterns that undermine Rust's safety guarantees.
Core Features & Use Cases
- Unsafe Block Audit: Detects unchecked unsafe blocks and invariant violations that could lead to memory safety issues.
- FFI Boundary Validation: Checks for unsafe bindings and unsafe interactions at C/Rust borders that may introduce UB.
- Concurrency Pitfalls: Flags data races and improper synchronization in async and multi-threaded code.
- Pattern Coverage: Uses the Rust Security Checklist (references/rust-security-checklist.md) as its reference for comprehensive coverage.
- Use Case: Integrate into CI to catch security regressions in Rust crates before merge.
Quick Start
Run a Rust project security scan to detect unsafe blocks, FFI misuse, and concurrency hazards.