CNNVD-202506-3221 Information
CNNVD ID
CNNVD-202506-3221
Related CVE
- CNNVD Published: 2025-06-25
Description (Chinese)
berkeley abc是berkeley-abc开源的一个ABC：顺序逻辑综合与形式验证系统。 berkeley abc 1.1版本存在安全漏洞，该漏洞源于Abc_NtkCecFraigPart函数存在空指针取消引用，可能导致程序崩溃。
Description (English)
berkeley abc is an ABC open source: sequence logic integration and form certification system. There is a security loophole in version 1.1 of berkeley abc, which originates from the empty pointer unreferenced in the Abc NtkCecFraigPart function, which could lead to a collapse of the program.
Hazard Level
High
Vulnerability Type
其他
Affected Vendor
berkeley-abc
Published
2025-06-25
Last Modified
2026-02-24
References
https://github.com/berkeley-abc/abc/pull/383 https://gist.github.com/QiuYitai/eb49750fe58e39ce685cfd87a41eacb9 https://access.redhat.com/security/cve/cve-2025-45333 https://nvd.nist.gov/vuln/detail/CVE-2025-45333
Patch
https://github.com/berkeley-abc/abc/commit/cab003b277dda26b5c63883d0defaa4d4256b314
Share on: