标签
PHP 的 session.upload_progress 处理程序中存在一个堆释放后使用（UAF）漏洞（CVE-2026-109618 / -109619），攻击者可借此劫持已释放的桶指针，并通过 zend_call_function 实现远程代码执行；本文包含针对 PHP 8.4.4 和 8.2.34 的已验证 PoC 利用链，以及补丁发布前的缓解措施。
一篇关于 C++ 内存安全问题的博客文章，探讨 NSA 和欧盟对内存不安全语言的警告，并在纪念 Rainer Grimm 逝世、由社区专家接手维护其博客的背景下展开讨论。
一篇深入的技术博客，介绍了 Valen 编程语言中一种新颖的逆向遍历借用检查器：它通过时间倒流的方式遍历函数来验证内存安全，同时可以有选择地放宽共享与可变互斥的规则。
标题指出在 Rust 借用检查器中发现了存在 11 年之久的不健全性缺陷，内容实际为 Rust 主仓库的 README。该发现对 Rust 的内存安全保证具有重要意义。
Valen 的新文章介绍了一种更灵活的借用检查器（group borrowing），编译器会记住引用指向的位置，以实现比 Rust 更简单灵活的内存安全方案，并已被 Google Carbon 等语言采纳。
Sergey 'Shnatsel' Davidoff 解释了 Rust 的 SIMD 抽象层现在如何做到内部安全：利用 Rust 1.87 的 target_feature 追踪与 CPU 特性 token，消除包裹在 SIMD 内在函数周围无处不在的 unsafe 块，同时保留 a+b 这样的人体工程学用法。
Martin Uecker 在 Kernel Recipes 2026 上发表了关于 C 语言中未定义行为的演讲，探讨了其产生的原因、抽象机器模型如何为其提供依据，以及 C 语言最终能否变得内存安全。
With 是一门以人体工学/极简仪式感为先的系统编程语言，主打 Rust 级安全（单所有权、生成式引用）与 C 级可达性，通过强推断减少样板代码，并内建对 C 库的直接建模导入，可编译为原生单二进制、无需系统 LLVM。
Vx 是一种面向异构计算（CPU、GPU、NPU）的系统编程语言，将设备内存拓扑直接编码进类型系统，并借助 machine 文件与形式化验证，在编译阶段捕获数据搬运与内存相关缺陷。
Andrew Plotkin（zarf）用内存级调试器逆向工程了 Infocom 的经典冒险游戏《Infidel》，并揭开了 ZIL 代码中一个极其恶劣的野指针编译器 bug——正是这个 bug 管理着被丢弃在无尽沙漠中的物品。
在2026年Python Language Summit上，David Hewitt介绍了Rust for CPython项目的路线图、成功标准和时间表，提议从Python 3.16开始提供可选的Rust支持，并回应了关于平台支持和核心开发者专业能力方面的疑虑。
Halide 推出了 wpd，这是一个基于 Rust 的 WebP 解码器，在内存安全方面更出色，性能也显著优于 libwebp，多线程下最高可获得 3.19 倍的性能提升，且功能几乎完全对齐。
Microsoft已将Rust提升为内部一级（Tier-1）语言，并将其与MSVC工具链整合，用于Windows开发，涵盖驱动程序和内核等底层工作。一个面向rustc的全新Rust代码生成器为生产级Windows支持奠定了基础，表明该公司对内存安全系统软件的投入将进一步加深。
Verdagon 详细介绍了实验性编程语言 Valen 如何在 Valen/Rust 边界上强制保证内存安全，通过实现分组借用（无需共享异或可变的借用检查），并能无缝直接调用 Rust 函数。
这篇文章讨论了一个雄心勃勃的项目，旨在复兴Vale编程语言并创建一种名为Valen的新语言，目标是实现与Rust的无缝集成，以支持跨语言泛型和内存安全。
Ubuntu 26.10 已完成迁移至基于 Rust 的核心工具，解决了之前的安全问题并增强了内存安全性，且用户功能无变化。
本文讨论了三种编程语言特性：用于在Crystal和TypeScript等静态语言中实现动态感觉的流类型、用于确保Rust内存安全的借用检查，以及用于D语言中不变性检查的契约编程。
本文探讨了静态分配策略，以防止释放后使用、类型混淆等内存安全问题，讨论了对象池和代际索引，并介绍了来自TigerStyle的技巧，以在初始化后避免动态内存分配。
Zig 的开发日志介绍了 ArrayLists 的指针稳定性，以防止在重新分配过程中因指针失效而导致的内存安全错误。