Use After Free Affecting pyboolector package, versions [,3.2.1)


Severity

Recommended
0.0
high
0
10

CVSS assessment made by Snyk's Security Team. Learn more

Threat Intelligence

EPSS
0.06% (31st 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-PYTHON-PYBOOLECTOR-1909514
  • published2 Nov 2021
  • disclosed2 Nov 2021
  • creditUnknown

Introduced: 2 Nov 2021

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

How to fix?

Upgrade PyBoolector to version 3.2.1 or higher.

Overview

PyBoolector is a Python wrapper around the Boolector SMT solver

Affected versions of this package are vulnerable to Use After Free in get_failed_assumptions or btor_delete. The parser/btorsmt2.c in the package opens a specially crafted input file that leads to the vulnerability.

CVSS Base Scores

version 3.1