CVE Vulnerability

CVE-2019-7560

In parser/btorsmt2.c in Boolector 3.0.0, opening a specially crafted input file leads to a use after free in get_failed_assumptions or btor_delete.

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/29 Exploit Patch
https://github.com/Boolector/boolector/issues/28 Exploit Patch
Configurations

Configuration 1

cpe:2.3:a:boolector_project:boolector:3.0.0:*:*:*:*:*:*:*
Information

Published : 2019-02-07 07:29

Updated : 2019-02-07 04:03

NVD link : CVE-2019-7560

Mitre link : CVE-2019-7560

Products Affected
No products.
CWE
CWE-416