| |
Vulnerability CVE-2019-7559
Published: 2019-02-07
| 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. |
Type:
CWE-787
CVSS2 => (AV:N/AC:M/Au:N/C:N/I:N/A:P)
| CVSS Base Score |
Impact Subscore |
Exploitability Subscore |
4.3/10 |
2.9/10 |
8.6/10 |
| Exploit range |
Attack complexity |
Authentication |
Remote |
Medium |
No required |
| Confidentiality impact |
Integrity impact |
Availability impact |
None |
None |
Partial |
References: |
https://github.com/Boolector/boolector/issues/30
|
|
|
Copyright 2024, cxsecurity.com
|
|
|
