Vulnerabilities (CVE)

Join the Common Vulnerabilities and Exposures (CVE) community and start to get notified about new vulnerabilities.

  1. Reconshell
  2. Vulnerabilities (CVE)
Filtered by vendor Boolector Project Subscribe
Filtered by product Boolector
Total 1 CVE
CVE Vendors Products Updated CVSS v2 CVSS v3
CVE-2019-7560 1 Boolector Project 1 Boolector 2019-02-07 4.3 MEDIUM 5.5 MEDIUM
In parser/btorsmt2.c in Boolector 3.0.0, opening a specially crafted input file leads to a use after free in get_failed_assumptions or btor_delete.