跳到正文
热点事件持续更新

Unfix 发布 C/C++ 固件 AI 修复独立验证器

1 篇报道1 个报道来源3 小时前更新

先了解这件事

AI 综述

Unfix 宣布推出面向 C/C++ 与固件的 AI 修复独立验证器,该工具在完全离线的沙箱中复现 Bug、启用 Sanitizer 重测并回撤确认回归,输出 VERIFIED/REJECTED/NOT VERIFIABLE 的确定性结论。初步测试中,Unfix 对 10 个 AI 生成的 C/C++ 补丁进行验证,确认 4 个有效、拒绝 6 个。 Unfix 称产品专为封闭网络设计,无云端依赖、无 LLM 调用,一次性配置后构建与测试全程断网运行。目前正与少量 C/C++ 及嵌入式团队(20–200 人规模)合作,在其自有代码与硬件上试运行。

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

报道时间线

沿着报道,了解事件的不同侧面。

11月5日
  1. Hacker News · Show HN精选
    Unfix 发布:验证 C/C++ 与固件 AI 修复的独立验证器,绿色测试不等于修复成功

    Unfix 发布 C/C++ 与固件 AI 修复验证器:沙箱复现 Bug、开启 Sanitizer 重测、回撤确认回归,给出 VERIFIED/REJECTED/NOT VERIFIABLE 确定性结论。

本事件热度走势

可比范围当前
9
可比范围峰值
1011月6日 00:00
近 24 小时变化
–

趋势仅比较持续完整观测到的相同主体,范围可能小于当前热度统计。移动指针或点击图表查看每小时热度;键盘可用左右方向键切换。