GHSA-g58x-799h-v9h6

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.test.osv.dev/v1/vulns/GHSA-g58x-799h-v9h6

Aliases

Published

2022-05-14T01:36:13Z

Modified

2024-11-26T18:25:07.717846Z

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

{
    "severity": "HIGH",
    "github_reviewed": true,
    "nvd_published_at": "2019-02-07T07:29:00Z",
    "github_reviewed_at": "2024-11-22T20:25:10Z",
    "cwe_ids": [
        "CWE-416"
    ]
}

References

Affected packages

PyPI / pyboolector

Package

Name: pyboolector; View open source insights on deps.dev
Purl: pkg:pypi/pyboolector

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

Database specific

source

"https://github.com/github/advisory-database/blob/main/advisories/github-reviewed/2022/05/GHSA-g58x-799h-v9h6/GHSA-g58x-799h-v9h6.json"