GitHub repository: BorrowSanitizer/bsan
Primary language: Rust
Description: Finding ownership bugs at scale.