CVE-2019-7560 Information

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.

CVSS Vector

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

Reference

https://github.com/Boolector/boolector/issues/28 https://github.com/Boolector/boolector/issues/29

Attack Complexity

LOW

Privileges Required

NONE

User Interaction Required

NONE

Scope

REQUIRED

Confidentiality Impact

UNCHANGED

Integrity Impact

NONE

Availability Impact

NONE

Base Score

HIGH

Base Severity

5.5