PulseAugur
实时 09:36:20
Русский(RU) Я дал LLM писать unsafe Rust полгода. Miri плакал Полгода я давал LLM писать unsafe Rust в боевых проектах и разбирал каждый блок под miri и санитайзерами. Кате

大型语言模型持续产生不安全 Rust 代码错误

一位开发者花了六个月时间让大型语言模型为生产项目编写不安全 Rust 代码。这些模型持续出现特定类型的错误,包括别名、来源、手动内存管理和 FFI 回调中的并发问题。每类错误都附有最小化的示例和提供的修复方法。 AI

影响 对大型语言模型代码生成质量的调查揭示了复杂编程语言中持续存在的安全漏洞。

排序理由 该集群描述了对大型语言模型生成代码的实验和分析,符合研究类别。[lever_c_demoted from research: ic=1 ai=1.0]

在 Mastodon — fosstodon.org 阅读 →

AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →

大型语言模型持续产生不安全 Rust 代码错误

报道来源 [1]

  1. Mastodon — fosstodon.org TIER_1 Русский(RU) · [email protected] ·

    我让LLM写了六个月不安全的Rust代码。Miri哭了。六个月来,我在生产项目中使用LLM编写不安全的Rust代码,并在Miri和 sanitizers 下分析了每一块代码。Kate

    Я дал LLM писать unsafe Rust полгода. Miri плакал Полгода я давал LLM писать unsafe Rust в боевых проектах и разбирал каждый блок под miri и санитайзерами. Категории ошибок, которые модели делают стабильно: aliasing, провенанс, layout в alloc/dealloc, забытый ManuallyDrop, гонки …