第三方库不健全检测——AI 协同的 Rust 内存安全边界质量保障
00:00/00:00
2026 年 10 月 24 日，Rust × AI 从开发提效到工程落地技术沙龙，浙江大学计算机学院在读博士生李欢分享AI 协同的 Rust 内存安全边界质量保障检测方案：Safe4U 依托大模型，结合安全契约与领域知识完成 unsafe 封装审查；VARIES 自动生成有状态验证用例，借助符号模型检查挖掘状态相关漏洞；4SafeR 基于 unsafe 数据流分析，处理间接封装问题。
2026 年 10 月 24 日，Rust × AI 从开发提效到工程落地技术沙龙，浙江大学计算机学院在读博士生李欢分享AI 协同的 Rust 内存安全边界质量保障检测方案：Safe4U 依托大模型，结合安全契约与领域知识完成 unsafe 封装审查；VARIES 自动生成有状态验证用例，借助符号模型检查挖掘状态相关漏洞；4SafeR 基于 unsafe 数据流分析，处理间接封装问题。