编译器

科技半导体

x86指令集中的ud2:从非官方黑科技到标准化未定义指令

ud2是x86指令集中一条架构上未定义的指令,其设计目的是保证触发"无效操作码"异常。编译器通常使用ud2来标记不可达代码,防止程序执行流在理论上不应到达的位置继续执行。

科技半导体

C++26引入标准库硬化特性

C++26标准引入Standard Library Hardening特性,通过在编译时启用检查模式,将原本导致未定义行为的标准库前置条件违反转变为可检测的、具有终止语义的失败。该特性包括边界检查、容器空状态检查等功能,由P3471、P3697、P3878三个提案定义。

科技人工智能

Zig编程语言2026年开发日志发布 多项核心功能迎来重大更新

Zig编程语言项目发布了2026年开发日志,在编译器、构建系统和内存安全等方面推出了一系列重要改进。其中,为std.ArrayList添加的指针稳定性锁成为一项关键安全功能,用户需调用lockPointers()和unlockPointers()方法来保证内存安全,在锁定状态下调用orderedRemove()和po…

科技人工智能

针对 Gleam 编译器的模糊测试工具发现多个缺陷

2026年8月25日,开发者 daniellionel01 开发了一款针对 Gleam 编译器的结构感知模糊测试工具,通过随机生成类型安全的 Gleam 程序并比较其在 Erlang 和 JavaScript 两个目标上的输出差异来发现编译器缺陷 。Gleam 编译器使用 Rust 编写,可编译为 JavaScrip…

科技创业公司

字节码到源代码行号的高效映射方案

在字节码虚拟机的实现中,如何有效地将字节码偏移量映射回源代码行号是一个关键技术问题。针对这一需求,存在多种数据结构方案可供选择,各具不同的性能特点。