rmc-unsafe-audit

What problem does it solve?

It helps you locate Rust unsafe { ... } blocks that lack a SAFETY comment so you can focus review effort on potentially undocumented invariants.

Core Features & Use Cases

• Workspace-wide unsafe inventory: Surfaces every unsafe { ... } block with its file span, line count, and enclosing function identity.
• Safety-comment compliance heuristic: Flags blocks where SAFETY is not found within the five source lines preceding the unsafe keyword.
• Blast-radius prioritization: Weighs risk by computing how many transitive callers touch the enclosing function via recursive_callers_count.
• Context rendering for review: Pulls surrounding source context with read_file_content to validate whether the comment matches the actual invariant.

Quick Start

Run the workflow by building the workspace hypergraph, then invoke the unsafe audit to list undocumented unsafe blocks for focused code review.