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.
https://github.com/berkeley-abc/abc/pull/383
https://gist.github.com/QiuYitai/eb49750fe58e39ce685cfd87a41eacb9