标签
Fil-C 优化调用约定确保 C 程序即使在恶意滥用情况下也能保持内存安全性，同时通过在常见情况下省略安全检查来保持效率。它解释了通过 panic 或定义明确的行为来处理类型违规的通用优化和寄存器传递优化。
C++26 引入了标准化的库强化机制，用于在运行时捕获常见的未定义行为（如越界访问）。基于 Google 的生产经验，此举仅带来 0.30% 的性能开销，同时将段错误减少了 30%。
Blaise 是一款现代且自举的 Object Pascal 编译器，旨在通过提供单一语言模式、统一的内存模型以及基于 QBE 的原生代码生成，来消除遗留系统的负担。
一篇博客文章介绍了一种玩具语言，它在运行时而非静态类型系统中强制执行借用检查，通过在栈上使用轻量级引用计数来支持内部指针和单一所有权，适用于动态类型环境。
TokioConf 2026 的一篇演讲/博客文章探讨了如何通过为复杂指针结构实现追踪式垃圾回收，将安全 Rust 推向极限，并分享处理循环引用与原始指针 GC 设计的技巧。
MemEvoBench 引入了首个用于评估 LLM 代理内存安全性的基准测试，衡量对抗性内存注入、噪声输出和有偏反馈在问答与工作流任务中导致的行为衰退。该研究表明内存演化是安全失败的重要因素，且静态防御措施不足以应对。
safe-gc 是一个全新的 Rust 库，它完全不用 unsafe 代码就实现了垃圾回收器，通过“堆索引”而非直接解引用指针来保证内存安全。