In breve
- CVE-2019-7560 è una vulnerabilità MEDIO (CVSS 5.5) che riguarda pyboolector, boolector (boolector project).
- Probabilità di sfruttamento nei prossimi 30 giorni (EPSS): 0.96%, superiore al 61.7% delle vulnerabilità.
- Correzione: aggiornare a 3.1.0 o successiva.
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