PT-2019-18646

CVE-2019-7559

Published

2019-02-07

Updated

2019-02-08

CVSS 3.1

5.5

Medium

MetricsAV: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.

Exploitability

Exploit

Fix

Impacts

Researchers

Vendors

Affected products

Weakness enumeration

Related identifiers

Found an issue in the description? Have something to add? Feel free to write us 👾