Hacker News· drdrey·· 2 小时前AI 评分58
Zellic 与 V12 发布 x86 二进制形式化验证研究预览
Zellic's and V12's Work on x86 Binary Formal Verification
AI 导读
Zellic 与 V12 公开了 x86 二进制形式化验证的研究预览，称这是首个覆盖 Linux 进程端到端执行静态链接 64 位 x86 glibc 二进制的机器校验证明。
来源：Hacker News · v12.sh
Zellic 与 V12 发布 x86 二进制形式化验证研究预览