资产安全
商业安全
安全服务
返回基本信息
- 漏洞ID：
- 漏洞类型：其他
- 发布日期：2025-06-25 00:00:00
- 更新时间：2025-06-26 00:00:00
- CVE编号：CVE-2025-45333
- CNNVD-ID：CNNVD-202506-3221
- 漏洞平台：Beronet
- CVSS评分：
漏洞来源
暂无
漏洞详情
berkeley abc是berkeley-abc开源的一个ABC：顺序逻辑综合与形式验证系统。 berkeley abc 1.1版本存在安全漏洞，该漏洞源于Abc_NtkCecFraigPart函数存在空指针取消引用，可能导致程序崩溃。
参考资料
来源:gist.github.com 链接:https://gist.github.com/QiuYitai/eb49750fe58e39ce685cfd87a41eacb9 来源:github.com 链接:https://github.com/berkeley-abc/abc/pull/383
微信扫码关注公众号
