微软利用LLM提升低级编程安全：Checked C和RustAssistant

微软研究院的研究人员展示了利用大型语言模型（LLM）提高低级编程安全性的两个项目。第一个项目使用LLM辅助Checked C，自动添加内存安全注解到遗留C代码中，提高了代码安全性，并减少了人工标注的负担。第二个项目是RustAssistant，它利用LLM自动修复Rust编译错误，显著降低了Rust的学习曲线。这两个项目都证明了LLM在提升代码安全性以及开发者效率方面的巨大潜力，为软件工程带来了新的可能性。