• 主要观点：开发者依赖 Rust 语言的静态安全保证写安全高效应用，但 Rust 常与其他语言互操作，其设计模式与 Rust 演化的别名模型冲突，Miri 是唯一能验证应用的动态分析工具但不支持外函数 bug 检测，存在 Rust 生态系统中的正确性差距，需为多语言应用投入新的生产级工具。
• 关键信息：进行大规模 Rust 库调用外函数评估，用 Miri 和 LLVM 解释器联合执行发现 37 个库有 46 个未定义或不良行为实例，观察期内平均日下载量超 10000 的库有 3 个 bug，Rust 项目维护的库有 1 个 bug，最新 Tree Borrows 模型比早期 Stacked Borrows 模型更宽松。
• 重要细节：提交历史有多个版本更新，从 2024 年 4 月 17 日到 2025 年 4 月 2 日，文件大小有所变化，相关论文可通过不同链接获取，如 PDF、HTML 等，学科领域为软件工程（cs.SE），ACM 分类为 D.2.12 和 D.2.4，可通过特定 DOI 引用。