SARA / Free Tools / CVE / CVE-2019-7560

CVE-2019-7560 — In parser/btorsmt2

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.

CVSS

— —

EPSS

0.21% (top 56.90%)

CWE

—

Published

2019-02-07T07:00:00.000Z

Last modified

2024-08-04T20:54:28.296Z

CVSS vector

—

01What is this vulnerability?

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.

Vendor	Product	Versions
n	a / n/a	n/a

Not currently listed on the CISA Known Exploited Vulnerabilities (KEV) catalog. EPSS is the best forward-looking signal — see the EPSS row above.

Patch to a fixed version listed in the vendor advisory (see references below).
Mitigate with WAF rules, network egress filters, or feature flags where the patch is not yet available.
Hunt historical logs for exploitation indicators — see Detection signatures below.

For the full vendor write-up, exploit chains, and reference implementations, see the references list in section 09.

Ask SARA in chat to draft a starting detection for this CVE in your stack of choice.

No directly-cited follow-up CVEs in the KB record for this advisory. The references list in section 09 carries the vendor cross-references.

Want this in your SOAR or SIEM?
SARA's API returns EPSS, CVSS, KEV, and an analyst-grade summary in one call.