What is GHSA-g58x-799h-v9h6?

GHSA-g58x-799h-v9h6 is a security advisory published by GitHub Security Advisories with High severity. Boolector use after free

Which CVE IDs does GHSA-g58x-799h-v9h6 cover?

GHSA-g58x-799h-v9h6 covers the following CVE IDs: CVE-2019-7560. Each CVE has its own detail page on EchelonGraph Pulse with the synthesized EG score.

What is the CVSS v3 score of GHSA-g58x-799h-v9h6?

GHSA-g58x-799h-v9h6 has a CVSS v3 base score of 5.5, published by GitHub Security Advisories.

Which products are affected by GHSA-g58x-799h-v9h6?

GHSA-g58x-799h-v9h6 affects 1 product, including: pip/pyboolector:\u003c 3.1.0.

GHSA-g58x-799h-v9h6HighCVSS 5.5

Boolector use after free

Vendor

GitHub Security Advisories

Published

May 14, 2022

Last Modified

November 26, 2024

🔗 CVE IDs covered (1)

CVE-2019-7560 →

📋 Description

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

🎯 Affected products1

pip/pyboolector:< 3.1.0

🔗 References (5)

https://nvd.nist.gov/vuln/detail/CVE-2019-7560
https://github.com/Boolector/boolector/issues/28
https://github.com/Boolector/boolector/issues/29
https://github.com/pypa/advisory-database/tree/main/vulns/pyboolector/PYSEC-2019-252.yaml
https://github.com/advisories/GHSA-g58x-799h-v9h6