Skip to content
Patch Next
Sign inAdd to your agent

← Public intelligence

PyPI package

pyboolector

Open actionable advisories and recorded vendor fixes. This public package view has no inventory attached and cannot establish whether your deployment is affected. A vendor fix never resolves your finding; verify your installed version and the source guidance.

Open advisories

1 actionable advisory, newest first. Withdrawn advisories and news are excluded. Coverage is partial.

  1. High, CVSS 7.1PyPIAmendedPublished

    Boolector use after free

    CVE-2019-7560 · GHSA-g58x-799h-v9h6

    Affected
    • PyPI pyboolector < 3.1.0
    Fixed in
    3.1.0· Vendor fix available
    Issue
    In parser/btorsmt2.c in Boolector 3.0.0, opening a specially crafted input file leads to a use after free in getfailedassumptions or btordelete.

    Recommended action: Upgrade to 3.1.0 or later, then redeploy and verify.A vendor fix does not resolve your finding until you verify it in your own systems.

    Sources:osv.dev (1)github.com (2)Source checked Evidence →