Kurz gesagt
- CVE-2019-7560 ist eine Schwachstelle (MITTEL (CVSS 5.5)) in pyboolector, boolector (boolector project).
- Wahrscheinlichkeit einer Ausnutzung in den nächsten 30 Tagen (EPSS): 0.96%, höher als bei 61.7% aller Schwachstellen.
- Abhilfe: auf 3.1.0 oder neuer aktualisieren.
Description
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.
NVD description
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.
Running one of these products? Scan your site to see whether it exposes a vulnerable version.
Scan my site free