unsafe-checker
actionbook2.9k installs
Check unsafe Rust for hidden memory bugs.
What it does
Guides reviews of unsafe Rust code to check soundness and safety documentation.
When to use it
Use when reviewing unsafe Rust code or foreign-function interfaces.
How to use it
It changes how the agent writes and reviews unsafe Rust code by requiring safety comments, documented invariants, and memory-safety checks.
What you provide
- An existing project
Latest review
What you need · 1
Requires Miri for the unsafe-code testing specified by the checklist and decision flow.
Access · 0
No additional actions listed.