Approved changes feed: RSS · Atom
Vendor: Microsoft
Vendor UUID: 67206627-3ef6-5870-9d98-26a9f2e7065c
Product token: z3
Product UUID: c88f9dfd-5ef6-56cc-929c-53af96e748be
No product notes yet.
Approved metadata
- No approved metadata yet.
Approved notes
- No approved notes yet.
Approved relationships
- No approved relationships yet.
Combined product view
This product does not currently have eligible product/vendor synonym or equivalent links.
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 |
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:*:*:*:*:*:*:*:*