Homepage

pyboolector@3.0.0.1 vulnerabilities

Python wrapper around the Boolector SMT solver

  • latest version

    3.2.4.20240823.1

  • latest non vulnerable version

    3.2.4.20240823.1

  • first published

    5 years ago

  • latest version published

    7 months ago

  • licenses detected

  • View pyboolector package health on Snyk Advisor  (opens in a new tab)
    • Go back to all versions of this package
    Report a new vulnerability Found a mistake?

    Direct Vulnerabilities

    Known vulnerabilities in the pyboolector package. This does not include vulnerabilities belonging to this package’s dependencies.

    How to fix?

    Automatically find and fix vulnerabilities affecting your projects. Snyk scans for vulnerabilities and provides fixes for free.

    Fix for free
    VulnerabilityVulnerable Version
    • H
    Use After Free

    PyBoolector is a Python wrapper around the Boolector SMT solver

    Affected versions of this package are vulnerable to Use After Free in get_failed_assumptions or btor_delete. The parser/btorsmt2.c in the package opens a specially crafted input file that leads to the vulnerability.

    How to fix Use After Free?

    Upgrade PyBoolector to version 3.2.1 or higher.

    [,3.2.1)
    Go back to all versions of this package