CVE-2019-7560: Pyboolector Boolector Use After Free Vulnerability

HIGH
Advisory Identifier: GHSA-g58x-799h-v9h6
Share
CVSS 5.5
CWE-416
Published
Advisory Summary

CVE-2019-7560 is a HIGH (CVSS 5.5) boolector use after free vulnerability (CWE-416: Use After Free) affecting Pyboolector libraries in the PyPI ecosystem. The issue involves boolector use after free. Remediation is available by upgrading affected packages to version 3.1.0.

CVE-2019-7560 at a Glance

CVE Identifier CVE-2019-7560
GHSA Identifier GHSA-g58x-799h-v9h6
Severity HIGH
CVSS v3.1 Base Score 5.5
CWE Classification CWE-416: Use After Free
Affected Product Pyboolector
Package Ecosystem PyPI
Published Date
Last Updated

Security Impact

CVSS: 5.5

The security impact metrics below are parsed directly from the CVSS v3.1 vector string (CVSS:3.0/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H).

Attack Vector Local (AV:L)
Attack Complexity Low (AC:L)
Privileges Required None (PR:N)
User Interaction Required (UI:R)
Scope Unchanged (S:U)
Confidentiality None (C:N)
Integrity None (I:N)
Availability High (A:H)

How to Fix CVE-2019-7560

To remediate this vulnerability, upgrade all affected Pyboolector dependencies to a patched release. Both direct and transitive dependencies should be checked, as frameworks or security libraries may pull in vulnerable versions transitively.

pyboolector fixed: 3.1.0 
pip install pyboolector>=3.1.0
Verify Direct and Transitive Dependencies

Run the following command in your project directory to verify that all resolved dependencies use the patched release: 

pip show pyboolector

How to Check if You Are Affected

To determine whether your Python environment is affected by CVE-2019-7560, inspect your installed packages using pip:

pip show pyboolector

Analyze the terminal output to locate any version of Pyboolector in your dependency tree. If any resolved version matches the vulnerable ranges listed in the table below (for example, versions earlier than 3.1.0), your application is affected.

Note: The pip show pyboolector command checks currently installed packages in your active Python environment.

Technical Details

Vulnerability Mechanism & Technical Analysis

This vulnerability is classified under CWE-416: Use After Free, where the product reuses or references memory after it has been freed. at some point afterward, the memory may be allocated again and saved in another pointer, while the original pointer references a location somewhere within the new allocation. any operations using the original pointer are no longer valid because the memory "belongs" to the code that operates on the new pointer. In Pyboolector, software state validation or input boundaries are circumvented during processing. Review the official source advisory statement below for specific affected components, classes, and reproduction details.

Source Advisory Statement

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.

CVE-2019-7560 Affected Pyboolector Versions

1 component(s)
Fixed Versions:
3.1.0
Product / Package Ecosystem Affected Versions Fixed Version
pyboolector
pypi/pyboolector
PyPI
< 3.1.0
3.1.0

References

NVD — CVE-2019-7560 NVD
https://nvd.nist.gov/vuln/detail/CVE-2019-7560
Pyboolector Source Repository REPOSITORY
https://github.com/Boolector/boolector/issues/28
Pyboolector Source Repository REPOSITORY
https://github.com/Boolector/boolector/issues/29
Pyboolector Source Repository REPOSITORY
https://github.com/boolector/boolector
Pyboolector Source Repository REPOSITORY
https://github.com/pypa/advisory-database/tree/main/vulns/pyboolector/PYSEC-2019-252.yaml

Frequently Asked Questions

What is CVE-2019-7560?
CVE-2019-7560 is a security vulnerability in Pyboolector involving Boolector use after free under CWE-416: Use After Free.
Which Pyboolector versions are affected?
Affected versions include releases prior to 3.1.0 across affected packages: pyboolector.
What version fixes CVE-2019-7560?
Upgrading to 3.1.0 (or the latest patched release for your respective branch) resolves the vulnerability.
Is pyboolector affected?
Yes, pyboolector is affected in releases prior to 3.1.0. Upgrade your dependency to 3.1.0 or later.
What is the CVSS score of CVE-2019-7560?
CVE-2019-7560 has a CVSS v3.1 base score of 5.5 (HIGH) with vector string CVSS:3.0/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H.
What CWE is associated with CVE-2019-7560?
CVE-2019-7560 is classified under CWE-416: Use After Free (The product reuses or references memory after it has been freed. At some point afterward, the memory may be allocated again and saved in another pointer, while the original pointer references a location somewhere within the new allocation. Any operations using the original pointer are no longer valid because the memory "belongs" to the code that operates on the new pointer.).
How can I check PyPI dependencies for CVE-2019-7560?
Run the dependency tree command: 'pip show pyboolector'. This command lists direct and transitive dependencies in your build configuration so you can verify if a vulnerable version is resolved.
Machine-readable OSV JSON OSV v1.5 Schema
Normalized schema output
View Raw JSON 
{
  "schema_version" : "1.4.0",
  "id" : "GHSA-g58x-799h-v9h6",
  "modified" : "2024-11-26T18:15:06Z",
  "published" : "2022-05-14T01:36:13Z",
  "aliases" : [ "CVE-2019-7560" ],
  "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 get_failed_assumptions or btor_delete.",
  "severity" : [ {
    "type" : "CVSS_V3",
    "score" : "CVSS:3.0/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H"
  }, {
    "type" : "CVSS_V4",
    "score" : "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"
  } ],
  "affected" : [ {
    "package" : {
      "ecosystem" : "PyPI",
      "name" : "pyboolector"
    },
    "ranges" : [ {
      "type" : "ECOSYSTEM",
      "events" : [ {
        "introduced" : "0"
      }, {
        "fixed" : "3.1.0"
      } ]
    } ]
  } ],
  "references" : [ {
    "type" : "ADVISORY",
    "url" : "https://nvd.nist.gov/vuln/detail/CVE-2019-7560"
  }, {
    "type" : "WEB",
    "url" : "https://github.com/Boolector/boolector/issues/28"
  }, {
    "type" : "WEB",
    "url" : "https://github.com/Boolector/boolector/issues/29"
  }, {
    "type" : "PACKAGE",
    "url" : "https://github.com/boolector/boolector"
  }, {
    "type" : "WEB",
    "url" : "https://github.com/pypa/advisory-database/tree/main/vulns/pyboolector/PYSEC-2019-252.yaml"
  } ],
  "database_specific" : {
    "cwe_ids" : [ "CWE-416" ],
    "severity" : "HIGH",
    "github_reviewed" : true,
    "github_reviewed_at" : "2024-11-22T20:25:10Z",
    "nvd_published_at" : "2019-02-07T07:29:00Z"
  }
}