PT-2019-18646

CVE-2019-7559

Publicado

2019-02-07

Atualizado

2019-02-08

CVSS 3.1

5.5

Média

MétricasAV: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.

Explorabilidade

Exploit

Correção

Impactos

Pesquisadores

Fornecedores

Produtos afetados

Enumeração de fraquezas

Identificadores relacionados

Encontrou algum problema na descrição? Tem algo a acrescentar? Fique à vontade para nos escrever 👾