PYSEC-2019-252

See a problem?
Import Source
https://github.com/pypa/advisory-database/blob/main/vulns/pyboolector/PYSEC-2019-252.yaml
JSON Data
https://api.osv.dev/v1/vulns/PYSEC-2019-252
Aliases
Published
2019-02-07T07:29:00Z
Modified
2024-11-25T22:42:14.884068Z
Severity
  • 5.5 (Medium) CVSS_V3 - CVSS:3.0/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H CVSS Calculator
Summary
[none]
Details

In parser/btorsmt2.c in Boolector 3.0.0, opening a specially crafted input file leads to a use after free in getfailedassumptions or btor_delete.

References

Affected packages

PyPI / pyboolector

Package

Affected ranges

Type
ECOSYSTEM
Events
Introduced
0Unknown introduced version / All previous versions are affected
Fixed
3.1.0

Affected versions

3.*

3.0.0.1
3.0.0.20191102.28
3.0.0.20191119.1
3.0.0.20191119.2