Btor2Tools
Approved changes feed: RSS · Atom
cpe:2.3:a:btor2tools_project:btor2tools:*:*:*:*:*:*:*:*part: a version: * update: *
| Vendor | Btor2Tools Project (e556c41b-99f0-5cf3-aa0d-aaab061b51ec) |
|---|---|
| Product | Btor2Tools (bfb02622-bf1b-5409-91b3-77f80086ca14) |
| Edition | * |
| Language | * |
| Software edition | * |
| Target software | * |
| Target hardware | * |
| Other | * |
Notes
Imported from purl2cpe mapping
PURL mappings
| PURL | Source | Last updated |
|---|---|---|
pkg:github/boolector/btor2tools |
purl2cpe | 2026-06-01 10:14:37.882636 |
Vulnerability references
| Identifier | cpeApplicability | Submitted | db.gcve.eu details | Rationale |
|---|---|---|---|---|
CVE:CVE-2019-7559 |
vulnerable | 2026-06-08 05:14:14.531626 |
Details available
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.
Published: 2019-02-07T07:00:00.000Z
Updated: 2024-08-04T20:54:27.930Z Reference links |
Imported from gcve-enriched-dumps CVE data |
Contribute
You can submit an edit proposal for this CPE entry or suggest a related product/vendor addition using the action button above.
Inspect record JSON
Open this panel to browse, search, copy or download the JSON record.