Product
Btor2Tools
- Vendor
- Btor2Tools Project
- Vendor UUID
e556c41b-99f0-5cf3-aa0d-aaab061b51ec- Token
btor2tools- UUID
bfb02622-bf1b-5409-91b3-77f80086ca14
No product notes yet.
Catalog
Product aliases
- No approved aliases include this product yet.
Explore Relationship graph
Explore approved relationships and the records in the combined view, including CPE entries. Arrows follow the source → target direction; dashed links show ownership. The outlined node is the current record.
TipDrag nodes to arrange them, scroll to zoom, drag the background to pan. Double-click a group from Simplify graph to show its members.
Vulnerabilities
GCVE vulnerability lookup
Find vulnerabilities on db.gcve.eu for a specific vendor/product tuple, across versions. Choose a tuple from this record or its combined view.
Select a tuple and run a lookup.
Community
Approved metadata
- No approved metadata yet.
Community
Approved notes
- No approved notes yet.
Community
Approved relationships
- No approved relationships yet.
Catalog
Combined product view
This product does not currently have eligible product or vendor relationships for a combined view
(canonical-of, equivalent-to, renamed-to, synonym-of, vendor-merge-into).
Catalog
PURL mappings
| PURL | CPE URI | Version | Source | Last updated |
|---|---|---|---|---|
pkg:github/boolector/btor2tools |
cpe:2.3:a:btor2tools_project:btor2tools:*:*:*:*:*:*:*:* |
* | purl2cpe | 2026-06-01 10:14:37.882636 |
pkg:github/boolector/btor2tools |
cpe:2.3:a:btor2tools_project:btor2tools:2018-05-16:*:*:*:*:*:*:* |
2018-05-16 | purl2cpe | 2026-06-01 10:14:37.882634 |
pkg:github/boolector/btor2tools |
cpe:2.3:a:btor2tools_project:btor2tools:2018-05-18:*:*:*:*:*:*:* |
2018-05-18 | purl2cpe | 2026-06-01 10:14:37.882637 |
pkg:github/boolector/btor2tools |
cpe:2.3:a:btor2tools_project:btor2tools:2018-05-24:*:*:*:*:*:*:* |
2018-05-24 | purl2cpe | 2026-06-01 10:14:37.882639 |
pkg:github/boolector/btor2tools |
cpe:2.3:a:btor2tools_project:btor2tools:2018-07-24:*:*:*:*:*:*:* |
2018-07-24 | purl2cpe | 2026-06-01 10:14:37.882640 |
pkg:github/boolector/btor2tools |
cpe:2.3:a:btor2tools_project:btor2tools:2018-07-25:*:*:*:*:*:*:* |
2018-07-25 | purl2cpe | 2026-06-01 10:14:37.882642 |
pkg:github/boolector/btor2tools |
cpe:2.3:a:btor2tools_project:btor2tools:2018-07-28:*:*:*:*:*:*:* |
2018-07-28 | purl2cpe | 2026-06-01 10:14:37.882643 |
pkg:github/boolector/btor2tools |
cpe:2.3:a:btor2tools_project:btor2tools:2019-01-15:*:*:*:*:*:*:* |
2019-01-15 | purl2cpe | 2026-06-01 10:14:37.882644 |
Vulnerabilities
db.gcve.eu vulnerability lookup
Run a CPE search on db.gcve.eu at product-level wildcard or on an exact CPE version.
cpe:2.3:a:btor2tools_project:btor2tools:*:*:*:*:*:*:*:*
Catalog
CPE entries
| CPE URI | Version | Part | GCVE lookup | Export |
|---|---|---|---|---|
cpe:2.3:a:btor2tools_project:btor2tools:2018-05-16:*:*:*:*:*:*:* |
2018-05-16 | a | ||
cpe:2.3:a:btor2tools_project:btor2tools:2018-05-18:*:*:*:*:*:*:* |
2018-05-18 | a | ||
cpe:2.3:a:btor2tools_project:btor2tools:2018-05-24:*:*:*:*:*:*:* |
2018-05-24 | a | ||
cpe:2.3:a:btor2tools_project:btor2tools:2018-07-24:*:*:*:*:*:*:* |
2018-07-24 | a | ||
cpe:2.3:a:btor2tools_project:btor2tools:2018-07-25:*:*:*:*:*:*:* |
2018-07-25 | a | ||
cpe:2.3:a:btor2tools_project:btor2tools:2018-07-28:*:*:*:*:*:*:* |
2018-07-28 | a | ||
cpe:2.3:a:btor2tools_project:btor2tools:2019-01-15:*:*:*:*:*:*:* |
2019-01-15 | a | ||
cpe:2.3:a:btor2tools_project:btor2tools:*:*:*:*:*:*:*:* |
* | a |
Inspect record JSON
Open this panel to browse, search, copy or download the JSON record.