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 0 No fix listed 1 Has CVE 1

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

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-787 Out-of-bounds Write 1

1 selected

1 record

Sort

Vendor: Btor2tools Project × Clear all filters

TI-2019-05336 CVE-2019-7559 · GHSA-qp2g-vj63-24p5

In btor2parser/btor2parser.c in Boolector Btor2Tools before 2019-01-15, opening a…

Priority LOW 26

In btor2parser/btor2parser.c in Boolector Btor2Tools before 2019-01-15, opening a specially crafted input file leads to an out of bounds write in pusht_bfr.

CVSS 3.0MEDIUM 5.5· Local · No auth · User interaction · EPSS 0.00837 · Published 2019-02-07 · No fix listed CWE-787

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.ioData: 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