CVEvulnerability

CVE-2019-7559

5.5 MEDIUM Published 2019-02-07 Modified 2026-06-17 Official page ↗
Status
Modified
Published
2019-02-07
Last modified
2026-06-17
Assigner
[email protected]
CVSS 3.0 ([email protected])
5.5 MEDIUM — CVSS:3.0/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H
CVSS 2.0 ([email protected])
4.3 MEDIUM — AV:N/AC:M/Au:N/C:N/I:N/A:P
Weaknesses
CWE-787

Description

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.

Affected configurations

• btor2tools project btor2tools (<= 2019-01-15)

Related

Weakness · CWE (1)

  • CWE-787 Out-of-bounds Write weakness

References