CVE-2025-45333

berkeley-abc version 1.1 contains a Null Pointer Dereference (NPD) vulnerability within the Abc_NtkCecFraigPart function of its data processing module . This flaw leads to unpredictable program behavior, resulting in segmentation faults and program crashes . A proof-of-concept has been published....