CVE-2019-7559 Information

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.

CVSS Vector

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

Reference

https://github.com/Boolector/boolector/issues/30

Attack Complexity

LOW

Privileges Required

NONE

User Interaction Required

NONE

Scope

REQUIRED

Confidentiality Impact

UNCHANGED

Integrity Impact

NONE

Availability Impact

NONE

Base Score

HIGH

Base Severity

5.5