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


Threat Intelligence

Exploit Maturity
Not Defined
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-DEBIAN11-BOOLECTOR-599403
  • published19 Aug 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 Debian security team deemed this advisory irrelevant for Debian:11.

NVD Description

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

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.