Candidate: CVE-2019-7560
PublicDate: 2019-02-07 07:29:00 UTC
References:
 https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2019-7560
 https://github.com/Boolector/boolector/issues/28
 https://github.com/Boolector/boolector/issues/29
 https://github.com/Boolector/boolector/commit/8d979d02e0482c7137c9f3a34e6d430dbfd1f5c5
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.
Ubuntu-Description:
Notes:
Bugs:
Priority: medium
Discovered-by:
Assigned-to:
CVSS:
 nvd: CVSS:3.0/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H [5.5 MEDIUM]


Patches_boolector:
upstream_boolector: not-affected (debian: Vulnerable code introduced later)
precise/esm_boolector: DNE
trusty_boolector: not-affected
trusty/esm_boolector: DNE (trusty was not-affected)
xenial_boolector: not-affected
bionic_boolector: not-affected
cosmic_boolector: not-affected
devel_boolector: not-affected