发布日期：2023-08-22
更新日期：2023-11-06

受影响系统：

Z3 Z3 < 4.8.8

描述：

---

CVE(CAN) ID: CVE-2020-19725

Z3是Z3 Theorem Prover开源的一个微软研究院的定理证明器。
Z3 4.8.8之前版本的pdd_simplifier.cpp文件存在内存错误引用漏洞，攻击者可利用该漏洞导致意外的内存访问，进而造成分段错误或执行任意代码。

<**>

建议：

---

厂商补丁：

Z3
--
目前厂商已经发布了升级补丁以修复这个安全问题，请到厂商的主页下载：

https://github.com/Z3Prover/z3/issues/3363

浏览次数：272
严重程度：0（网友投票）