GHSA-g58x-799h-v9h6
Suggest an improvement- Source
- https://github.com/advisories/GHSA-g58x-799h-v9h6
- Import Source
- https://github.com/github/advisory-database/blob/main/advisories/github-reviewed/2022/05/GHSA-g58x-799h-v9h6/GHSA-g58x-799h-v9h6.json
- JSON Data
- https://api.osv.dev/v1/vulns/GHSA-g58x-799h-v9h6
- Aliases
- Published
- 2022-05-14T01:36:13Z
- Modified
- 2024-11-26T18:25:54.996070Z
- 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
- 7.1 (High) CVSS_V4 - CVSS:4.0/AV:N/AC:L/AT:N/PR:N/UI:P/VC:N/VI:N/VA:H/SC:N/SI:N/SA:N CVSS Calculator
- Summary
- Boolector use after free
- 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.
- Database specific
{ "nvd_published_at": "2019-02-07T07:29:00Z", "cwe_ids": [ "CWE-416" ], "severity": "HIGH", "github_reviewed": true, "github_reviewed_at": "2024-11-22T20:25:10Z" }- References
Affected packages
PyPI / pyboolector
Package
- Name
- pyboolector
- View open source insights on deps.dev
- Purl
- pkg:pypi/pyboolector