Berkeley ABC security vulnerabilities

berkeley abc is an ABC: sequential logic synthesis and formal verification system open-sourced by berkeley-abc. A security vulnerability exists in berkeley abc version 1.1, which stems from the presence of a null pointer dereference in the AbcNtkCecFraigPart function, which may cause the program ...