BorrowSanitizer：检测多语言应用中 Rust 别名违规的动态分析工具

📋 概述

BorrowSanitizer 是一款动态分析工具，用于检测多语言应用中违反 Rust 别名与可变性规则的 bug。Rust 编译器通过静态保证限制别名与可变性来提供内存安全，但开发者可借助 unsafe 特性绕过这些限制，尤其是在与其它语言互操作时。若 unsafe 使用不当破坏了 Rust 的别名模型，编译器赖以优化的前提就被破坏，错误的优化可能引入安全漏洞。该工具正是为此类场景提供动态检测。