CVE Vulnerability

CVE-2019-7559

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.

4.3 /10

CVSS v2.0 :

V3 Legend

Vector :

Exploitability : 8.6 / Impact : 2.9

Attack Vector

Attack Complexity

Privileges Required

User Interaction

Confidentiality Impact NONE

Integrity Impact NONE

Availability Impact PARTIAL

Scope

5.5 /10

CVSS v3.0 : MEDIUM

V3 Legend

Vector :

Exploitability : 1.8 / Impact : 3.6

Attack Vector LOCAL

Attack Complexity LOW

Privileges Required NONE

User Interaction REQUIRED

Confidentiality Impact NONE

Integrity Impact NONE

Availability Impact HIGH

Scope UNCHANGED

References
Link Resource
https://github.com/Boolector/boolector/issues/30 Exploit Patch
Configurations

Configuration 1

cpe:2.3:a:btor2tools_project:btor2tools:*:*:*:*:*:*:*:*
Information

Published : 2019-02-07 07:29

Updated : 2019-02-08 06:39

NVD link : CVE-2019-7559

Mitre link : CVE-2019-7559

Products Affected
No products.
CWE
CWE-787