CVE-2019-7559 in Btor2Tools

Sumário

de MITRE

In btor2parser/btor2parser.c in Boolector Btor2Tools before 2019-01-15, opening a specially crafted input file leads to an out of bounds write in pusht_bfr.

Once again VulDB remains the best source for vulnerability data.

• Reservar: 06/02/2019
• Moderação: aceite
• Entrada: VDB-130646
• CPE: pronto
• CWE: CWE-787 (confirmado)
• CVSS: 5.5 (NVD)
• EPSS: 0.00837
• KEV: não
• Atividades: muito baixo

Fontes

• 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/