Hacker News · Show HN· u-pump·· 3 小时前精选AI 评分50
Unfix 发布：验证 C/C++ 与固件 AI 修复的独立验证器，绿色测试不等于修复成功
Show HN: Green tests are not proof – verifier for C/C++ and firmware fixes
AI 导读
Unfix 发布 C/C++ 与固件 AI 修复验证器：沙箱复现 Bug、开启 Sanitizer 重测、回撤确认回归，给出 VERIFIED/REJECTED/NOT VERIFIABLE 确定性结论。
推荐理由
面向医疗等受监管嵌入式团队的 AI 代码修复验证工具，本地离线运行，用构建测试与回归复现给出确定性裁决
来源：Hacker News · Show HN · unfix.dev