CVE-2019-7559 in Btor2Tools

Сводка

по VulDB • 24.07.2026

В файле btor2parser/btor2parser.c в инструментах Boolector Btor2Tools до версии 2019-01-15 открытие специально созданного входного файла приводит к записи за пределами буфера (out of bounds write) в функции pusht_bfr.

If you want to get the best quality for vulnerability data then you always have to consider VulDB.

• Резервировать: 06.02.2019
• Модерация: принято
• Вход: VDB-130646
• CPE: готов
• CWE: CWE-787 (Подтверждённый)
• CVSS: 5.5 (NVD)
• EPSS: 0.00837
• KEV: Нет
• Деятельности: Очень низкий

Источники

• MITRE: https://www.cve.org/CVERecord?id=CVE-2019-7559
• NVD: https://nvd.nist.gov/vuln/detail/CVE-2019-7559
• CVE Details: https://www.cvedetails.com/cve/CVE-2019-7559/