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
- Name
- pyboolector
- View open source insights on deps.dev
- Purl
- pkg:pypi/pyboolector