v2026.06.08

add new Rust analysis tools and update existing entries

• Add Pincer: static analyzer for unsafe Rust memory-safety bugs (OOPSLA'26)
• Add Rust-IR-BERT: ML-based vulnerability detection using LLVM IR and BERT
• Add deepSURF: LLM-augmented fuzzing for memory safety (IEEE S&P'26)
• Add rl-guided-static-analysis-rust: RL-guided false positive reduction
• Add VerusBelt: semantic foundation for Verus (PLDI'26)
• Add PanicKiller: finding bugs behind runtime safety checks (CCS'25)
• Add HALURust: exploiting LLM hallucinations for vulnerability detection
• Add RustC4++: hybrid LLM and static analysis for comment inconsistency (OOPSLA'26)
• Add Yu Zhang's deadlock detection paper (Automated Software Engineering'26)

Update existing entries:

• Add paper reference for Miri (POPL'26)
• Add paper reference for cargo-scan (ESOP'26)
• Fix Shuttle paper reference formatting
• Remove incorrect hyperlink from Converos"

v2026.06.07

What's Changed

• finalize README retitle and date updater
• move SafeFFI to the published section
• include prior merged README improvements from PR #4

Notes

This release focuses on README quality, consistency, and curation updates for Awesome Rust Checker.

v2026.02.01

Added checkers:

1. RAPx & safe-tags
2. rustc-plugin
3. TypePulse
4. rustc++
5. verified-ledger
6. RustSan
7. LiteRSan
8. AutoVerus & vest
9. soteria-rust
10. mir-semantics
11. cuq
12. Converos

Update description and datetime for other checkers