pyboolector@3.0.0.20191119.1 vulnerabilities

Python wrapper around the Boolector SMT solver

Direct Vulnerabilities

Known vulnerabilities in the pyboolector package. This does not include vulnerabilities belonging to this package’s dependencies.

Automatically find and fix vulnerabilities affecting your projects. Snyk scans for vulnerabilities and provides fixes for free.
Fix for free
Vulnerability Vulnerable Version
  • H
Use After Free

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.

How to fix Use After Free?

Upgrade PyBoolector to version 3.2.1 or higher.

[,3.2.1)