微软谈大规模代码现代化：廉价代码与珍贵信任

微软介绍其团队自 2024 年起将 AI 智能体与静态分析、测试和形式化验证结合，用于 Windows 和 Azure 等超大规模代码库的迁移与现代化，包括把数亿行代码迁移到 Clang/LLVM 工具链、将遗留 C/C++ 代码改写为 Rust。