← Rule catalog

rust-doctor · Security

`unsafe-block-audit`

Flags `unsafe {}` blocks and `unsafe fn` declarations. Unsafe code bypasses Rust's memory safety guarantees and must be carefully audited.

Severity: warning
Confidence: medium
Analyzer: syn-ast
Default policy: Enabled

Tags

heuristic
security

Framework requirements

No framework requirement.

Limitations

Syntactic analysis does not have rustc name resolution or inferred type information.

Remediation

Verify the safety invariants are documented and correct. Consider safe abstractions or crates like `zerocopy` to eliminate unsafe.

Fix capability: guidance