En resumen
- CVE-2019-7560 es una vulnerabilidad MEDIO (CVSS 5.5) que afecta a pyboolector, boolector (boolector project).
- Probabilidad de explotación en los próximos 30 días (EPSS): 0.96%, mayor que el 61.7% de las vulnerabilidades.
- Solución: actualizar a 3.1.0 o posterior.
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