Unfix 发布 C/C++ 与固件修复验证器

Unfix 发布面向 C/C++ 和固件的缺陷修复验证器。它不写代码，而是复现缺陷、应用修复、重跑测试，再撤掉修复确认缺陷复现，给出 VERIFIED、REJECTED 或 NOT VERIFIABLE 三种确定性结论。 目前 PR 检查只在 Unfix 的演示仓库运行，合作方集成尚在准备中；固件验证已在 STM32 NUCLEO 开发板上通过 ST-Link 运行。Unfix 称，完成一次性设置后，构建和测试可在断网状态下进行。 Unfix 表示正与少量 20 至 200 名工程师的 C/C++ 和嵌入式团队合作，在其自有代码和硬件上运行该工具。上述结论为 Unfix 的说法，尚未见独立验证。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。