~ / search / GHSA-g58x-799h-v9h6

GHSA-g58x-799h-v9h6

Boolector use after free

Source: GitHub Advisory Database (reviewed) High CVE-2019-7560

Packages

EcosystemPackageAffectedFixed in
PyPI pyboolector < 3.1.0 3.1.0

Details

As written in the advisory (Markdown source, shown as plain text).

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.

References

External links from the advisory. They lead to third-party sites.