大型上下文大语言模型的一个杀手级应用是为未文档化的手动内存管理代码生成所有权/引用计数前置条件/后置条件的假设（另见近期Rust用于Linux的讨论）。