CVE-2019-7559
CVSS V2 Medium 4.3
CVSS V3 Medium 5.5
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.
Overview
- CVE ID
- CVE-2019-7559
- Assigner
- cve@mitre.org
- Vulnerability Status
- Analyzed
- Published Version
- 2019-02-07T07:29:00
- Last Modified Date
- 2019-02-08T18:39:44
Weakness Enumerations
CPE Configuration (Product)
| CPE | Vulnerable | Operator | Version Start | Version End |
|---|---|---|---|---|
| cpe:2.3:a:btor2tools_project:btor2tools:*:*:*:*:*:*:*:* | 1 | OR | 2019-01-15 |
CVSS Version 2
- Version
- 2.0
- Vector String
- AV:N/AC:M/Au:N/C:N/I:N/A:P
- Access Vector
- NETWORK
- Access Compatibility
- MEDIUM
- Authentication
- NONE
- Confidentiality Impact
- NONE
- Integrity Impact
- NONE
- Availability Impact
- PARTIAL
- Base Score
- 4.3
- Severity
- MEDIUM
- Exploitability Score
- 8.6
- Impact Score
- 2.9
CVSS Version 3
- Version
- 3.0
- Vector String
- CVSS:3.0/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H
- Attack Vector
- LOCAL
- Attack Compatibility
- LOW
- Privileges Required
- NONE
- User Interaction
- REQUIRED
- Scope
- UNCHANGED
- Confidentiality Impact
- NONE
- Availability Impact
- HIGH
- Base Score
- 5.5
- Base Severity
- MEDIUM
- Exploitability Score
- 1.8
- Impact Score
- 3.6
References
| Reference URL | Reference Tags |
|---|---|
| https://github.com/Boolector/boolector/issues/30 | Exploit Patch Third Party Advisory |
Sources
| Source Name | Source URL |
|---|---|
| NIST | https://nvd.nist.gov/vuln/detail/CVE-2019-7559 |
| MITRE | https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2019-7559 |
History
| Created | Old Value | New Value | Data Type | Notes |
|---|---|---|---|---|
| 2022-05-10 07:59:04 | Added to TrackCVE | |||
| 2022-12-03 17:13:20 | 2019-02-07T07:29Z | 2019-02-07T07:29:00 | CVE Published Date | updated |
| 2022-12-03 17:13:20 | 2019-02-08T18:39:44 | CVE Modified Date | updated | |
| 2022-12-03 17:13:20 | Analyzed | Vulnerability Status | updated |