Microsoft Z3 4.8.4
Approved changes feed: RSS · Atom
cpe:2.3:a:microsoft:z3:4.8.4:*:*:*:*:*:*:*
part: a version: 4.8.4 update: *
| Vendor | Microsoft (67206627-3ef6-5870-9d98-26a9f2e7065c) |
|---|---|
| Product | Z3 (c88f9dfd-5ef6-56cc-929c-53af96e748be) |
| Edition | * |
| Language | * |
| Software edition | * |
| Target software | * |
| Target hardware | * |
| Other | * |
| Notes | Imported from NVD CPE 2.0 feed |
PURL mappings
| PURL | Source | Last updated |
|---|---|---|
pkg:github/z3prover/z3 |
purl2cpe | 2026-06-01 10:17:06.053756 |
Vulnerability references
| Identifier | cpeApplicability | Submitted | db.gcve.eu details | Rationale |
|---|---|---|---|---|
| No approved vulnerability references for this CPE yet. | ||||
Contribute
You can submit an edit proposal for this CPE entry or suggest a related product/vendor addition using the action button above.