BorrowSanitizer is an LLVM-based dynamic analysis tool that detects Rust aliasing bugs in multi-language applications, addressing limitations of Miri which cannot analyze foreign code and is too slow for fuzzing. It supports Rust, C, and C++ interoperation and aims to be fast enough for production use with fuzzing tools.
Background
Rust's aliasing model (Tree Borrows) is enforced by the compiler, but unsafe code can violate it, leading to security vulnerabilities. Miri is the only tool that detects such violations but is limited to Rust-only codebases and is too slow for fuzzing.
- Source
- Lobsters
- Published
- Aug 4, 2026 at 03:29 PM
- Score
- 7.0 / 10