CVE-2019-7560

Publication date 7 February 2019

Last updated 25 August 2025

Ubuntu priority

Why this priority?

Cvss 3 Severity Score

Score breakdown

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.

Status

Show unmaintained releases

Package	Ubuntu Release	Status
boolector	18.10 cosmic	Not affected
	18.04 LTS bionic	Not affected
	16.04 LTS xenial	Not affected
	14.04 LTS trusty	Not in release

Severity score breakdown

CVSS version: CVSS v3.0

Base score 5.5 · Medium

Base metrics

Parameter	Value
Attack vector	Local
Attack complexity	Low
Privileges required	None
User interaction	Required
Scope	Unchanged
Confidentiality impact	None
Integrity impact	None
Availability impact	High

Scores

Parameter	Value
Base score	5.5 · Medium
Exploitability score	-
Impact score	-

Vector: CVSS:3.0/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H

References

Other references

Access our resources on patching vulnerabilities