Audit unsafe pointer and cast patterns
phase-d-unsafe-auditworkflowsetup L3★0
Microck/bun-rust-port-claude-artifacts ↗What it does
Audit unsafe pointer usage for UB
Best for
Exposing raw-pointer aliasing bugs that rust-clippy misses and require semantic analysis.
Inputs
- · codebase state (file list, error counts)
- · error log or diff for fixing
Outputs
- · bug report with evidence and fixes
Requires
- · cargo
- · grep,find
- · git
- · zig compiler
Preconditions
- · git repo at /root/bun-5
- · HEAD is clean, uncommitted changes okay
- · .zig spec file must exist at same path
- · agent orchestrator running
Failure modes
- · agent returns null on syntax error
Trust signals
- · enforced hard rules prevent git reset/checkout
- · 2-voter consensus gate required
- · read-only survey phase
- · explicit git commit protocol
- · spec-grounded verification
- · adversarial default (reject unless proved)