CVE-2019-7560

CVSS V2 Medium 4.3 CVSS V3 Medium 5.5
Description
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.
Overview
  • CVE ID
  • CVE-2019-7560
  • Assigner
  • cve@mitre.org
  • Vulnerability Status
  • Analyzed
  • Published Version
  • 2019-02-07T07:29:00
  • Last Modified Date
  • 2019-02-07T16:03:26
Weakness Enumerations
CWE URL
CWE-416 http://cwe.mitre.org/data/definitions/416.html
CPE Configuration (Product)
CPE Vulnerable Operator Version Start Version End
cpe:2.3:a:boolector_project:boolector:3.0.0:*:*:*:*:*:*:* 1 OR
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/29 Exploit Patch Third Party Advisory
https://github.com/Boolector/boolector/issues/28 Exploit Patch Third Party Advisory
Sources
Source Name Source URL
NIST https://nvd.nist.gov/vuln/detail/CVE-2019-7560
MITRE https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2019-7560
History
Created Old Value New Value Data Type Notes
2022-05-10 07:59:15 Added to TrackCVE
2022-12-03 17:13:23 2019-02-07T07:29Z 2019-02-07T07:29:00 CVE Published Date updated
2022-12-03 17:13:23 2019-02-07T16:03:26 CVE Modified Date updated
2022-12-03 17:13:23 Analyzed Vulnerability Status updated