Use After Free The advisory has been revoked - it doesn't affect any version of package boolector  (opens in a new tab)


Threat Intelligence

EPSS
0.06% (30th percentile)

Do your applications use this vulnerable package?

In a few clicks we can analyze your entire application and see what components are vulnerable in your application, and suggest you quick fixes.

Test your applications

Snyk Learn

Learn about Use After Free vulnerabilities in an interactive lesson.

Start learning
  • Snyk IDSNYK-UBUNTU1804-BOOLECTOR-611542
  • published10 Sept 2020
  • disclosed7 Feb 2019

Introduced: 7 Feb 2019

CVE-2019-7560  (opens in a new tab)
CWE-416  (opens in a new tab)

Amendment

The Ubuntu security team deemed this advisory irrelevant for Ubuntu:18.04.

NVD Description

Note: Versions mentioned in the description apply only to the upstream boolector package and not the boolector package as distributed by Ubuntu.

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.