berkeley-abc/abc

Releases0

Stars1.16K

ABC: System for Sequential Logic Synthesis and Formal Verification

CVE History

CVE	Published	CVSS v3	CVSS v2
CVE-2025-45333 ↗	Jun 25, 2025Wednesday, 25 June 2025, 20:15	7.5 HIGH	—
berkeley-abc abc 1.1 contains a Null Pointer Dereference (NPD) vulnerability in the Abc_NtkCecFraigPart function of its data processing module, leading to unpredictable program behavior, causing segmentation faults, and program crashes.