Boolector Project Boolector 3.0.0
Approved changes feed: RSS · Atom
cpe:2.3:a:boolector_project:boolector:3.0.0:*:*:*:*:*:*:*part: a version: 3.0.0 update: *
| Vendor | Boolector Project (d4b082ca-d0ef-5a21-954b-9cc75a30203f) |
|---|---|
| Product | Boolector (352d26da-f9bd-568a-8074-057574aeec00) |
| Edition | * |
| Language | * |
| Software edition | * |
| Target software | * |
| Target hardware | * |
| Other | * |
Notes
Imported from NVD CPE 2.0 feed
PURL mappings
| PURL | Source | Last updated |
|---|---|---|
pkg:deb/debian/boolector |
purl2cpe | 2026-06-01 10:11:11.668936 |
pkg:deb/ubuntu/boolector |
purl2cpe | 2026-06-01 10:11:11.668939 |
pkg:github/boolector/boolector |
purl2cpe | 2026-06-01 10:11:11.668942 |
pkg:pypi/pyboolector |
purl2cpe | 2026-06-01 10:11:11.668945 |
Vulnerability references
| Identifier | cpeApplicability | Submitted | db.gcve.eu details | Rationale |
|---|---|---|---|---|
CVE:CVE-2019-7560 |
vulnerable | 2026-06-08 05:14:14.533164 |
Details available
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.
Published: 2019-02-07T07:00:00.000Z
Updated: 2024-08-04T20:54:28.296Z |
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.