Vulnerabilities

Search by TI id or any alias (CVE, GHSA), vendor, product or CWE.

Filters

Reset all

Threatist priority CRITICAL 0 HIGH 0 MEDIUM 0 LOW 1

Signals Exploited in the wild (KEV) 0 Patch available 1 No fix listed 0 Has CVE 1

Fix status Fixed 1 Partial 0 Will not fix 0 Deferred 0 No fix listed 0

Impact type Code execution 0 Privilege escalation 0 Security bypass 0 Information disclosure 0 Tampering 0 Denial of service 1 Spoofing 0 Cross-site scripting 0 SQL injection 0

Attack vector Network 0 Adjacent network 0 Local 1 Physical 0

Requirements No authentication 1 No user interaction 0

Product

Products as named in CPE, with their records.

Published Last 7 days Last 30 days Last 12 months Any time

Weakness (CWE) CWE-416 Use After Free 1

2 selected

1 record

Sort

Vendor: Boolector Project × Component: Boolector × Clear all filters

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

In parser/btorsmt2.c in Boolector 3.0.0, opening a specially crafted input file leads to…

Priority LOW 27

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 3.0MEDIUM 5.5· Local · No auth · User interaction · EPSS 0.00959 · Published 2019-02-07 · Fixed in 3.1.0 CWE-416

THREATIST.IO

Vulnerability intelligence for security teams and AI agents.

Vulnerabilities Vendors Exploited (KEV) API & MCP Newsletter Privacy policy Terms of use

Newsletter Vulnerability intelligence in your inbox Subscribe

© 2026 Threatist.io · X (@threatist)Data: CVE Program, NVD, CISA KEV, FIRST EPSS, GitHub Advisory Database and Red Hat security data (both CC BY 4.0), Microsoft Security Response Center. This product uses the NVD API but is not endorsed or certified by the NVD. Sources and licences

We would like to use Google Analytics cookies to see how the site is used. They are set only if you accept. Privacy policy