发布日期：2025-06-25
更新日期：2025-09-04

受影响系统：

berkeley-abc berkeley abc 1.1

描述：

---

CVE(CAN) ID: CVE-2025-45333

berkeley abc是berkeley-abc开源的一个ABC：顺序逻辑综合与形式验证系统。
berkeley abc 1.1版本存在空指针引用漏洞，攻击者可利用该漏洞引发段错误并导致程序崩溃。

<**>

建议：

---

厂商补丁：

berkeley-abc
------------
目前厂商已经发布了升级补丁以修复这个安全问题，请到厂商的主页下载：
https://github.com/berkeley-abc/abc/commit/cab003b277dda26b5c63883d0defaa4d4256b314

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