Your submission was sent successfully! Close

You have successfully unsubscribed! Close

Thank you for signing up for our newsletter!
In these regular emails you will find the latest updates about Ubuntu and upcoming events where you can meet our team.Close

CVE-2019-7560

Published: 7 February 2019

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.

Priority

Medium

Cvss 3 Severity Score

5.5

Score breakdown

Status

Package Release Status
boolector
Launchpad, Ubuntu, Debian
upstream Not vulnerable
(debian: Vulnerable code introduced later)
precise Does not exist

trusty Does not exist
(trusty was not-affected)
xenial Not vulnerable

bionic Not vulnerable

cosmic Not vulnerable

Severity score breakdown

Parameter Value
Base score 5.5
Attack vector Local
Attack complexity Low
Privileges required None
User interaction Required
Scope Unchanged
Confidentiality None
Integrity impact None
Availability impact High
Vector CVSS:3.0/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H