Product
Z3
- Vendor
- Microsoft
- Vendor UUID
67206627-3ef6-5870-9d98-26a9f2e7065c- Token
z3- UUID
c88f9dfd-5ef6-56cc-929c-53af96e748be
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/z3prover/z3 |
cpe:2.3:a:microsoft:z3:*:*:*:*:*:*:*:* |
* | purl2cpe | 2026-06-01 10:17:06.053738 |
pkg:github/z3prover/z3 |
cpe:2.3:a:microsoft:z3:4.1.1:*:*:*:*:*:*:* |
4.1.1 | purl2cpe | 2026-06-01 10:17:06.053740 |
pkg:github/z3prover/z3 |
cpe:2.3:a:microsoft:z3:4.3.0:*:*:*:*:*:*:* |
4.3.0 | purl2cpe | 2026-06-01 10:17:06.053742 |
pkg:github/z3prover/z3 |
cpe:2.3:a:microsoft:z3:4.3.1:*:*:*:*:*:*:* |
4.3.1 | purl2cpe | 2026-06-01 10:17:06.053743 |
pkg:github/z3prover/z3 |
cpe:2.3:a:microsoft:z3:4.3.2:*:*:*:*:*:*:* |
4.3.2 | purl2cpe | 2026-06-01 10:17:06.053745 |
pkg:github/z3prover/z3 |
cpe:2.3:a:microsoft:z3:4.4.0:*:*:*:*:*:*:* |
4.4.0 | purl2cpe | 2026-06-01 10:17:06.053746 |
pkg:github/z3prover/z3 |
cpe:2.3:a:microsoft:z3:4.4.1:*:*:*:*:*:*:* |
4.4.1 | purl2cpe | 2026-06-01 10:17:06.053748 |
pkg:github/z3prover/z3 |
cpe:2.3:a:microsoft:z3:4.5.0:*:*:*:*:*:*:* |
4.5.0 | purl2cpe | 2026-06-01 10:17:06.053749 |
pkg:github/z3prover/z3 |
cpe:2.3:a:microsoft:z3:4.6.0:*:*:*:*:*:*:* |
4.6.0 | purl2cpe | 2026-06-01 10:17:06.053751 |
pkg:github/z3prover/z3 |
cpe:2.3:a:microsoft:z3:4.7.1:*:*:*:*:*:*:* |
4.7.1 | purl2cpe | 2026-06-01 10:17:06.053752 |
pkg:github/z3prover/z3 |
cpe:2.3:a:microsoft:z3:4.8.1:*:*:*:*:*:*:* |
4.8.1 | purl2cpe | 2026-06-01 10:17:06.053753 |
pkg:github/z3prover/z3 |
cpe:2.3:a:microsoft:z3:4.8.3:*:*:*:*:*:*:* |
4.8.3 | purl2cpe | 2026-06-01 10:17:06.053755 |
pkg:github/z3prover/z3 |
cpe:2.3:a:microsoft:z3:4.8.4:*:*:*:*:*:*:* |
4.8.4 | purl2cpe | 2026-06-01 10:17:06.053756 |
pkg:github/z3prover/z3 |
cpe:2.3:a:microsoft:z3:4.8.5:*:*:*:*:*:*:* |
4.8.5 | purl2cpe | 2026-06-01 10:17:06.053757 |
pkg:github/z3prover/z3 |
cpe:2.3:a:microsoft:z3:4.8.6:*:*:*:*:*:*:* |
4.8.6 | purl2cpe | 2026-06-01 10:17:06.053759 |
pkg:github/z3prover/z3 |
cpe:2.3:a:microsoft:z3:4.8.7:*:*:*:*:*:*:* |
4.8.7 | purl2cpe | 2026-06-01 10:17:06.053760 |
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:microsoft:z3:*:*:*:*:*:*:*:*
Catalog
CPE entries
Inspect record JSON
Open this panel to browse, search, copy or download the JSON record.