Hacker News· u-pump·· 3 小时前AI 评分58
Unfix 发布 C/C++ 与固件修复验证器
Show HN: Green tests are not proof – verifier for C/C++ and firmware fixes
AI 导读
Unfix 发布面向 C/C++ 和固件的缺陷修复验证器，不写代码，而是复现缺陷、应用修复、重跑测试，再撤掉修复确认缺陷复现，给出 VERIFIED、REJECTED 或 NOT VERIFIABLE 三种确定性结论。
来源：Hacker News · unfix.dev