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"