PT-2019-18646 · Boolector · Boolector Btor2Tools

Bugs-Syssec · Publicado 2019-02-07 · Atualizado 2019-02-08 · CVE-2019-7559

Positive Technologies (AI Summary)

CVSS v3.1

5.5

Média

Vetor base

AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H

Name of the Vulnerable Software and Affected Versions Boolector Btor2Tools versions prior to 2019-01-15

Description The issue arises when opening a specially crafted input file, leading to an out of bounds write in pusht bfr.

Recommendations For versions prior to 2019-01-15, update to a version released after 2019-01-15 to resolve the issue.

Exploit

Correção

Memory Corruption

Enumeração de Fraquezas

CWE-787

Identificadores relacionados

CVE-2019-7559

Produtos afetados

Boolector Btor2Tools

Referências · 3

• 🔥 https://github.com/Boolector/boolector/issues/30 · Exploit
• https://osv.dev/vulnerability/CVE-2019-7559 · Aviso do Fabricante
• https://nvd.nist.gov/vuln/detail/CVE-2019-7559 · Nota de Segurança