{"entity":"cpes","filters":{"product_uuid":"c88f9dfd-5ef6-56cc-929c-53af96e748be"},"generated_at":"2026-11-09T22:18:28.128143+00:00","items":[{"id":1783166,"vendor_id":146,"vendor_uuid":"67206627-3ef6-5870-9d98-26a9f2e7065c","product_id":124677,"product_uuid":"c88f9dfd-5ef6-56cc-929c-53af96e748be","cpe_uri":"cpe:2.3:a:microsoft:z3:*:*:*:*:*:*:*:*","cpe_name_id":"50419310-22ff-4e86-80e7-ed63cef692b0","deprecated":false,"deprecated_by":null,"part":"a","version":"*","update":"*","edition":"*","language":"*","sw_edition":"*","target_sw":"*","target_hw":"*","other":"*","title":"Z3","notes":"Imported from purl2cpe mapping","from_proposal":false,"created_at":"2026-06-01T10:17:06.052387","updated_at":"2026-06-01T10:17:06.052389","vulnerability_references":[{"id":1744686,"vulnerability_source":"CVE","vulnerability_id":"CVE-2020-19725","cpe_applicability":"vulnerable","rationale":"Imported from gcve-enriched-dumps CVE data","approved_at":"2026-06-08T05:20:57.419951","submitted_at":"2026-06-08T05:20:57.420942"}],"purl_mappings":[{"id":2218025,"cpe_name_id":"50419310-22ff-4e86-80e7-ed63cef692b0","purl":"pkg:github/z3prover/z3","source":"purl2cpe","created_at":"2026-06-01T10:17:06.053736","updated_at":"2026-06-01T10:17:06.053738"}]},{"id":1143376,"vendor_id":146,"vendor_uuid":"67206627-3ef6-5870-9d98-26a9f2e7065c","product_id":124677,"product_uuid":"c88f9dfd-5ef6-56cc-929c-53af96e748be","cpe_uri":"cpe:2.3:a:microsoft:z3:4.1.1:*:*:*:*:*:*:*","cpe_name_id":"0F157474-A834-4999-A443-43D4B25DB5DC","deprecated":false,"deprecated_by":null,"part":"a","version":"4.1.1","update":"*","edition":"*","language":"*","sw_edition":"*","target_sw":"*","target_hw":"*","other":"*","title":"Microsoft Z3 4.1.1","notes":"Imported from NVD CPE 2.0 feed","from_proposal":false,"created_at":"2026-06-01T09:37:38.205359","updated_at":"2026-06-01T09:37:38.205361","vulnerability_references":[],"purl_mappings":[{"id":2218026,"cpe_name_id":"0F157474-A834-4999-A443-43D4B25DB5DC","purl":"pkg:github/z3prover/z3","source":"purl2cpe","created_at":"2026-06-01T10:17:06.053739","updated_at":"2026-06-01T10:17:06.053740"}]},{"id":1143350,"vendor_id":146,"vendor_uuid":"67206627-3ef6-5870-9d98-26a9f2e7065c","product_id":124677,"product_uuid":"c88f9dfd-5ef6-56cc-929c-53af96e748be","cpe_uri":"cpe:2.3:a:microsoft:z3:4.10.0:*:*:*:*:*:*:*","cpe_name_id":"A17CDE7B-23FB-4122-88BE-5F49A5CDFA10","deprecated":false,"deprecated_by":null,"part":"a","version":"4.10.0","update":"*","edition":"*","language":"*","sw_edition":"*","target_sw":"*","target_hw":"*","other":"*","title":"Microsoft Z3 4.10.0","notes":"Imported from NVD CPE 2.0 feed","from_proposal":false,"created_at":"2026-06-01T09:37:38.189601","updated_at":"2026-06-01T09:37:38.189603","vulnerability_references":[],"purl_mappings":[]},{"id":1143349,"vendor_id":146,"vendor_uuid":"67206627-3ef6-5870-9d98-26a9f2e7065c","product_id":124677,"product_uuid":"c88f9dfd-5ef6-56cc-929c-53af96e748be","cpe_uri":"cpe:2.3:a:microsoft:z3:4.10.1:*:*:*:*:*:*:*","cpe_name_id":"70A067AF-1956-412B-AE8D-E0C02D6C7653","deprecated":false,"deprecated_by":null,"part":"a","version":"4.10.1","update":"*","edition":"*","language":"*","sw_edition":"*","target_sw":"*","target_hw":"*","other":"*","title":"Microsoft Z3 4.10.1","notes":"Imported from NVD CPE 2.0 feed","from_proposal":false,"created_at":"2026-06-01T09:37:38.188968","updated_at":"2026-06-01T09:37:38.188969","vulnerability_references":[],"purl_mappings":[]},{"id":1143348,"vendor_id":146,"vendor_uuid":"67206627-3ef6-5870-9d98-26a9f2e7065c","product_id":124677,"product_uuid":"c88f9dfd-5ef6-56cc-929c-53af96e748be","cpe_uri":"cpe:2.3:a:microsoft:z3:4.10.2:*:*:*:*:*:*:*","cpe_name_id":"53833CB3-519B-44AE-BF30-312A6E7B9C81","deprecated":false,"deprecated_by":null,"part":"a","version":"4.10.2","update":"*","edition":"*","language":"*","sw_edition":"*","target_sw":"*","target_hw":"*","other":"*","title":"Microsoft Z3 4.10.2","notes":"Imported from NVD CPE 2.0 feed","from_proposal":false,"created_at":"2026-06-01T09:37:38.188370","updated_at":"2026-06-01T09:37:38.188372","vulnerability_references":[],"purl_mappings":[]},{"id":1143347,"vendor_id":146,"vendor_uuid":"67206627-3ef6-5870-9d98-26a9f2e7065c","product_id":124677,"product_uuid":"c88f9dfd-5ef6-56cc-929c-53af96e748be","cpe_uri":"cpe:2.3:a:microsoft:z3:4.11.0:*:*:*:*:*:*:*","cpe_name_id":"8F4BD944-3C25-4C24-BA70-8B6B741FC603","deprecated":false,"deprecated_by":null,"part":"a","version":"4.11.0","update":"*","edition":"*","language":"*","sw_edition":"*","target_sw":"*","target_hw":"*","other":"*","title":"Microsoft Z3 4.11.0","notes":"Imported from NVD CPE 2.0 feed","from_proposal":false,"created_at":"2026-06-01T09:37:38.187743","updated_at":"2026-06-01T09:37:38.187745","vulnerability_references":[],"purl_mappings":[]},{"id":1143346,"vendor_id":146,"vendor_uuid":"67206627-3ef6-5870-9d98-26a9f2e7065c","product_id":124677,"product_uuid":"c88f9dfd-5ef6-56cc-929c-53af96e748be","cpe_uri":"cpe:2.3:a:microsoft:z3:4.11.2:*:*:*:*:*:*:*","cpe_name_id":"EB9B3F94-1FD7-4610-9108-1808B40ABD7B","deprecated":false,"deprecated_by":null,"part":"a","version":"4.11.2","update":"*","edition":"*","language":"*","sw_edition":"*","target_sw":"*","target_hw":"*","other":"*","title":"Microsoft Z3 4.11.2","notes":"Imported from NVD CPE 2.0 feed","from_proposal":false,"created_at":"2026-06-01T09:37:38.187142","updated_at":"2026-06-01T09:37:38.187144","vulnerability_references":[],"purl_mappings":[]},{"id":1143345,"vendor_id":146,"vendor_uuid":"67206627-3ef6-5870-9d98-26a9f2e7065c","product_id":124677,"product_uuid":"c88f9dfd-5ef6-56cc-929c-53af96e748be","cpe_uri":"cpe:2.3:a:microsoft:z3:4.12.0:*:*:*:*:*:*:*","cpe_name_id":"F340735A-7363-48AF-9D33-6AE677265E08","deprecated":false,"deprecated_by":null,"part":"a","version":"4.12.0","update":"*","edition":"*","language":"*","sw_edition":"*","target_sw":"*","target_hw":"*","other":"*","title":"Microsoft Z3 4.12.0","notes":"Imported from NVD CPE 2.0 feed","from_proposal":false,"created_at":"2026-06-01T09:37:38.186536","updated_at":"2026-06-01T09:37:38.186538","vulnerability_references":[],"purl_mappings":[]},{"id":1143344,"vendor_id":146,"vendor_uuid":"67206627-3ef6-5870-9d98-26a9f2e7065c","product_id":124677,"product_uuid":"c88f9dfd-5ef6-56cc-929c-53af96e748be","cpe_uri":"cpe:2.3:a:microsoft:z3:4.12.1:*:*:*:*:*:*:*","cpe_name_id":"D02F854B-8A63-4030-AFC9-DBE59D358773","deprecated":false,"deprecated_by":null,"part":"a","version":"4.12.1","update":"*","edition":"*","language":"*","sw_edition":"*","target_sw":"*","target_hw":"*","other":"*","title":"Microsoft Z3 4.12.1","notes":"Imported from NVD CPE 2.0 feed","from_proposal":false,"created_at":"2026-06-01T09:37:38.185878","updated_at":"2026-06-01T09:37:38.185880","vulnerability_references":[],"purl_mappings":[]},{"id":1143343,"vendor_id":146,"vendor_uuid":"67206627-3ef6-5870-9d98-26a9f2e7065c","product_id":124677,"product_uuid":"c88f9dfd-5ef6-56cc-929c-53af96e748be","cpe_uri":"cpe:2.3:a:microsoft:z3:4.12.2:*:*:*:*:*:*:*","cpe_name_id":"0CEF2EEF-3B4D-4A48-AAB4-7E4FADEE5595","deprecated":false,"deprecated_by":null,"part":"a","version":"4.12.2","update":"*","edition":"*","language":"*","sw_edition":"*","target_sw":"*","target_hw":"*","other":"*","title":"Microsoft Z3 4.12.2","notes":"Imported from NVD CPE 2.0 feed","from_proposal":false,"created_at":"2026-06-01T09:37:38.185241","updated_at":"2026-06-01T09:37:38.185243","vulnerability_references":[],"purl_mappings":[]},{"id":1143375,"vendor_id":146,"vendor_uuid":"67206627-3ef6-5870-9d98-26a9f2e7065c","product_id":124677,"product_uuid":"c88f9dfd-5ef6-56cc-929c-53af96e748be","cpe_uri":"cpe:2.3:a:microsoft:z3:4.3.0:*:*:*:*:*:*:*","cpe_name_id":"4172B8BF-31EA-4C65-8FA5-140F134958D9","deprecated":false,"deprecated_by":null,"part":"a","version":"4.3.0","update":"*","edition":"*","language":"*","sw_edition":"*","target_sw":"*","target_hw":"*","other":"*","title":"Microsoft Z3 4.3.0","notes":"Imported from NVD CPE 2.0 feed","from_proposal":false,"created_at":"2026-06-01T09:37:38.204732","updated_at":"2026-06-01T09:37:38.204734","vulnerability_references":[],"purl_mappings":[{"id":2218027,"cpe_name_id":"4172B8BF-31EA-4C65-8FA5-140F134958D9","purl":"pkg:github/z3prover/z3","source":"purl2cpe","created_at":"2026-06-01T10:17:06.053741","updated_at":"2026-06-01T10:17:06.053742"}]},{"id":1143374,"vendor_id":146,"vendor_uuid":"67206627-3ef6-5870-9d98-26a9f2e7065c","product_id":124677,"product_uuid":"c88f9dfd-5ef6-56cc-929c-53af96e748be","cpe_uri":"cpe:2.3:a:microsoft:z3:4.3.1:*:*:*:*:*:*:*","cpe_name_id":"1D1ED9C2-65FC-447F-A249-66865170CE06","deprecated":false,"deprecated_by":null,"part":"a","version":"4.3.1","update":"*","edition":"*","language":"*","sw_edition":"*","target_sw":"*","target_hw":"*","other":"*","title":"Microsoft Z3 4.3.1","notes":"Imported from NVD CPE 2.0 feed","from_proposal":false,"created_at":"2026-06-01T09:37:38.204156","updated_at":"2026-06-01T09:37:38.204158","vulnerability_references":[],"purl_mappings":[{"id":2218028,"cpe_name_id":"1D1ED9C2-65FC-447F-A249-66865170CE06","purl":"pkg:github/z3prover/z3","source":"purl2cpe","created_at":"2026-06-01T10:17:06.053742","updated_at":"2026-06-01T10:17:06.053743"}]},{"id":1143373,"vendor_id":146,"vendor_uuid":"67206627-3ef6-5870-9d98-26a9f2e7065c","product_id":124677,"product_uuid":"c88f9dfd-5ef6-56cc-929c-53af96e748be","cpe_uri":"cpe:2.3:a:microsoft:z3:4.3.2:*:*:*:*:*:*:*","cpe_name_id":"B10BCDC7-9366-4A35-B6CD-42FA2BEEE69D","deprecated":false,"deprecated_by":null,"part":"a","version":"4.3.2","update":"*","edition":"*","language":"*","sw_edition":"*","target_sw":"*","target_hw":"*","other":"*","title":"Microsoft Z3 4.3.2","notes":"Imported from NVD CPE 2.0 feed","from_proposal":false,"created_at":"2026-06-01T09:37:38.203537","updated_at":"2026-06-01T09:37:38.203540","vulnerability_references":[],"purl_mappings":[{"id":2218029,"cpe_name_id":"B10BCDC7-9366-4A35-B6CD-42FA2BEEE69D","purl":"pkg:github/z3prover/z3","source":"purl2cpe","created_at":"2026-06-01T10:17:06.053744","updated_at":"2026-06-01T10:17:06.053745"}]},{"id":1143372,"vendor_id":146,"vendor_uuid":"67206627-3ef6-5870-9d98-26a9f2e7065c","product_id":124677,"product_uuid":"c88f9dfd-5ef6-56cc-929c-53af96e748be","cpe_uri":"cpe:2.3:a:microsoft:z3:4.4.0:*:*:*:*:*:*:*","cpe_name_id":"F86D55D2-70B8-44E3-9629-2FE576E0147F","deprecated":false,"deprecated_by":null,"part":"a","version":"4.4.0","update":"*","edition":"*","language":"*","sw_edition":"*","target_sw":"*","target_hw":"*","other":"*","title":"Microsoft Z3 4.4.0","notes":"Imported from NVD CPE 2.0 feed","from_proposal":false,"created_at":"2026-06-01T09:37:38.202924","updated_at":"2026-06-01T09:37:38.202926","vulnerability_references":[],"purl_mappings":[{"id":2218030,"cpe_name_id":"F86D55D2-70B8-44E3-9629-2FE576E0147F","purl":"pkg:github/z3prover/z3","source":"purl2cpe","created_at":"2026-06-01T10:17:06.053746","updated_at":"2026-06-01T10:17:06.053746"}]},{"id":1143371,"vendor_id":146,"vendor_uuid":"67206627-3ef6-5870-9d98-26a9f2e7065c","product_id":124677,"product_uuid":"c88f9dfd-5ef6-56cc-929c-53af96e748be","cpe_uri":"cpe:2.3:a:microsoft:z3:4.4.1:*:*:*:*:*:*:*","cpe_name_id":"B9425320-A137-4026-93C9-12BCC1F76E8C","deprecated":false,"deprecated_by":null,"part":"a","version":"4.4.1","update":"*","edition":"*","language":"*","sw_edition":"*","target_sw":"*","target_hw":"*","other":"*","title":"Microsoft Z3 4.4.1","notes":"Imported from NVD CPE 2.0 feed","from_proposal":false,"created_at":"2026-06-01T09:37:38.202329","updated_at":"2026-06-01T09:37:38.202331","vulnerability_references":[],"purl_mappings":[{"id":2218031,"cpe_name_id":"B9425320-A137-4026-93C9-12BCC1F76E8C","purl":"pkg:github/z3prover/z3","source":"purl2cpe","created_at":"2026-06-01T10:17:06.053747","updated_at":"2026-06-01T10:17:06.053748"}]},{"id":1143370,"vendor_id":146,"vendor_uuid":"67206627-3ef6-5870-9d98-26a9f2e7065c","product_id":124677,"product_uuid":"c88f9dfd-5ef6-56cc-929c-53af96e748be","cpe_uri":"cpe:2.3:a:microsoft:z3:4.5.0:*:*:*:*:*:*:*","cpe_name_id":"3E5E7143-E506-4875-AFD6-5E72D636D394","deprecated":false,"deprecated_by":null,"part":"a","version":"4.5.0","update":"*","edition":"*","language":"*","sw_edition":"*","target_sw":"*","target_hw":"*","other":"*","title":"Microsoft Z3 4.5.0","notes":"Imported from NVD CPE 2.0 feed","from_proposal":false,"created_at":"2026-06-01T09:37:38.201756","updated_at":"2026-06-01T09:37:38.201758","vulnerability_references":[],"purl_mappings":[{"id":2218032,"cpe_name_id":"3E5E7143-E506-4875-AFD6-5E72D636D394","purl":"pkg:github/z3prover/z3","source":"purl2cpe","created_at":"2026-06-01T10:17:06.053749","updated_at":"2026-06-01T10:17:06.053749"}]},{"id":1143369,"vendor_id":146,"vendor_uuid":"67206627-3ef6-5870-9d98-26a9f2e7065c","product_id":124677,"product_uuid":"c88f9dfd-5ef6-56cc-929c-53af96e748be","cpe_uri":"cpe:2.3:a:microsoft:z3:4.6.0:*:*:*:*:*:*:*","cpe_name_id":"9EFA0391-B659-469F-9C1F-2F70F824C2A4","deprecated":false,"deprecated_by":null,"part":"a","version":"4.6.0","update":"*","edition":"*","language":"*","sw_edition":"*","target_sw":"*","target_hw":"*","other":"*","title":"Microsoft Z3 4.6.0","notes":"Imported from NVD CPE 2.0 feed","from_proposal":false,"created_at":"2026-06-01T09:37:38.201136","updated_at":"2026-06-01T09:37:38.201137","vulnerability_references":[],"purl_mappings":[{"id":2218033,"cpe_name_id":"9EFA0391-B659-469F-9C1F-2F70F824C2A4","purl":"pkg:github/z3prover/z3","source":"purl2cpe","created_at":"2026-06-01T10:17:06.053750","updated_at":"2026-06-01T10:17:06.053751"}]},{"id":1143368,"vendor_id":146,"vendor_uuid":"67206627-3ef6-5870-9d98-26a9f2e7065c","product_id":124677,"product_uuid":"c88f9dfd-5ef6-56cc-929c-53af96e748be","cpe_uri":"cpe:2.3:a:microsoft:z3:4.7.1:*:*:*:*:*:*:*","cpe_name_id":"BB4FD674-17C3-414A-AC7D-EDF60F9C1B0F","deprecated":false,"deprecated_by":null,"part":"a","version":"4.7.1","update":"*","edition":"*","language":"*","sw_edition":"*","target_sw":"*","target_hw":"*","other":"*","title":"Microsoft Z3 4.7.1","notes":"Imported from NVD CPE 2.0 feed","from_proposal":false,"created_at":"2026-06-01T09:37:38.200515","updated_at":"2026-06-01T09:37:38.200516","vulnerability_references":[],"purl_mappings":[{"id":2218034,"cpe_name_id":"BB4FD674-17C3-414A-AC7D-EDF60F9C1B0F","purl":"pkg:github/z3prover/z3","source":"purl2cpe","created_at":"2026-06-01T10:17:06.053751","updated_at":"2026-06-01T10:17:06.053752"}]},{"id":1143360,"vendor_id":146,"vendor_uuid":"67206627-3ef6-5870-9d98-26a9f2e7065c","product_id":124677,"product_uuid":"c88f9dfd-5ef6-56cc-929c-53af96e748be","cpe_uri":"cpe:2.3:a:microsoft:z3:4.8.10:*:*:*:*:*:*:*","cpe_name_id":"084AE3BC-7D25-4DD2-BA58-993AC88338FB","deprecated":false,"deprecated_by":null,"part":"a","version":"4.8.10","update":"*","edition":"*","language":"*","sw_edition":"*","target_sw":"*","target_hw":"*","other":"*","title":"Microsoft Z3 4.8.10","notes":"Imported from NVD CPE 2.0 feed","from_proposal":false,"created_at":"2026-06-01T09:37:38.195688","updated_at":"2026-06-01T09:37:38.195689","vulnerability_references":[],"purl_mappings":[]},{"id":1143359,"vendor_id":146,"vendor_uuid":"67206627-3ef6-5870-9d98-26a9f2e7065c","product_id":124677,"product_uuid":"c88f9dfd-5ef6-56cc-929c-53af96e748be","cpe_uri":"cpe:2.3:a:microsoft:z3:4.8.11:*:*:*:*:*:*:*","cpe_name_id":"EEAEB503-56E8-48C4-91BB-B22BB7543729","deprecated":false,"deprecated_by":null,"part":"a","version":"4.8.11","update":"*","edition":"*","language":"*","sw_edition":"*","target_sw":"*","target_hw":"*","other":"*","title":"Microsoft Z3 4.8.11","notes":"Imported from NVD CPE 2.0 feed","from_proposal":false,"created_at":"2026-06-01T09:37:38.195069","updated_at":"2026-06-01T09:37:38.195070","vulnerability_references":[],"purl_mappings":[]},{"id":1143358,"vendor_id":146,"vendor_uuid":"67206627-3ef6-5870-9d98-26a9f2e7065c","product_id":124677,"product_uuid":"c88f9dfd-5ef6-56cc-929c-53af96e748be","cpe_uri":"cpe:2.3:a:microsoft:z3:4.8.12:*:*:*:*:*:*:*","cpe_name_id":"9CB2BCDF-AC6D-43D2-8FAB-850AECA2120C","deprecated":false,"deprecated_by":null,"part":"a","version":"4.8.12","update":"*","edition":"*","language":"*","sw_edition":"*","target_sw":"*","target_hw":"*","other":"*","title":"Microsoft Z3 4.8.12","notes":"Imported from NVD CPE 2.0 feed","from_proposal":false,"created_at":"2026-06-01T09:37:38.194457","updated_at":"2026-06-01T09:37:38.194459","vulnerability_references":[],"purl_mappings":[]},{"id":1143357,"vendor_id":146,"vendor_uuid":"67206627-3ef6-5870-9d98-26a9f2e7065c","product_id":124677,"product_uuid":"c88f9dfd-5ef6-56cc-929c-53af96e748be","cpe_uri":"cpe:2.3:a:microsoft:z3:4.8.13:*:*:*:*:*:*:*","cpe_name_id":"12239498-061D-4BFB-8F49-8A656B2531BE","deprecated":false,"deprecated_by":null,"part":"a","version":"4.8.13","update":"*","edition":"*","language":"*","sw_edition":"*","target_sw":"*","target_hw":"*","other":"*","title":"Microsoft Z3 4.8.13","notes":"Imported from NVD CPE 2.0 feed","from_proposal":false,"created_at":"2026-06-01T09:37:38.193855","updated_at":"2026-06-01T09:37:38.193857","vulnerability_references":[],"purl_mappings":[]},{"id":1143356,"vendor_id":146,"vendor_uuid":"67206627-3ef6-5870-9d98-26a9f2e7065c","product_id":124677,"product_uuid":"c88f9dfd-5ef6-56cc-929c-53af96e748be","cpe_uri":"cpe:2.3:a:microsoft:z3:4.8.14:*:*:*:*:*:*:*","cpe_name_id":"990C2EA8-4AD5-464B-8E80-5CD2170F26F5","deprecated":false,"deprecated_by":null,"part":"a","version":"4.8.14","update":"*","edition":"*","language":"*","sw_edition":"*","target_sw":"*","target_hw":"*","other":"*","title":"Microsoft Z3 4.8.14","notes":"Imported from NVD CPE 2.0 feed","from_proposal":false,"created_at":"2026-06-01T09:37:38.193240","updated_at":"2026-06-01T09:37:38.193242","vulnerability_references":[],"purl_mappings":[]},{"id":1143355,"vendor_id":146,"vendor_uuid":"67206627-3ef6-5870-9d98-26a9f2e7065c","product_id":124677,"product_uuid":"c88f9dfd-5ef6-56cc-929c-53af96e748be","cpe_uri":"cpe:2.3:a:microsoft:z3:4.8.15:*:*:*:*:*:*:*","cpe_name_id":"0FCC5043-5B2B-4866-A8EB-D86BE57837B7","deprecated":false,"deprecated_by":null,"part":"a","version":"4.8.15","update":"*","edition":"*","language":"*","sw_edition":"*","target_sw":"*","target_hw":"*","other":"*","title":"Microsoft Z3 4.8.15","notes":"Imported from NVD CPE 2.0 feed","from_proposal":false,"created_at":"2026-06-01T09:37:38.192642","updated_at":"2026-06-01T09:37:38.192644","vulnerability_references":[],"purl_mappings":[]},{"id":1143354,"vendor_id":146,"vendor_uuid":"67206627-3ef6-5870-9d98-26a9f2e7065c","product_id":124677,"product_uuid":"c88f9dfd-5ef6-56cc-929c-53af96e748be","cpe_uri":"cpe:2.3:a:microsoft:z3:4.8.16:*:*:*:*:*:*:*","cpe_name_id":"C2DCBD83-43AF-4F95-A4C7-1F0F476FC960","deprecated":false,"deprecated_by":null,"part":"a","version":"4.8.16","update":"*","edition":"*","language":"*","sw_edition":"*","target_sw":"*","target_hw":"*","other":"*","title":"Microsoft Z3 4.8.16","notes":"Imported from NVD CPE 2.0 feed","from_proposal":false,"created_at":"2026-06-01T09:37:38.192041","updated_at":"2026-06-01T09:37:38.192043","vulnerability_references":[],"purl_mappings":[]},{"id":1143353,"vendor_id":146,"vendor_uuid":"67206627-3ef6-5870-9d98-26a9f2e7065c","product_id":124677,"product_uuid":"c88f9dfd-5ef6-56cc-929c-53af96e748be","cpe_uri":"cpe:2.3:a:microsoft:z3:4.8.17:*:*:*:*:*:*:*","cpe_name_id":"15DF25EB-C469-4DD1-B31F-7028AC86A9BC","deprecated":false,"deprecated_by":null,"part":"a","version":"4.8.17","update":"*","edition":"*","language":"*","sw_edition":"*","target_sw":"*","target_hw":"*","other":"*","title":"Microsoft Z3 4.8.17","notes":"Imported from NVD CPE 2.0 feed","from_proposal":false,"created_at":"2026-06-01T09:37:38.191434","updated_at":"2026-06-01T09:37:38.191436","vulnerability_references":[],"purl_mappings":[]},{"id":1143367,"vendor_id":146,"vendor_uuid":"67206627-3ef6-5870-9d98-26a9f2e7065c","product_id":124677,"product_uuid":"c88f9dfd-5ef6-56cc-929c-53af96e748be","cpe_uri":"cpe:2.3:a:microsoft:z3:4.8.1:*:*:*:*:*:*:*","cpe_name_id":"7951A323-9A9B-441D-BE43-23C0D3CDC70F","deprecated":false,"deprecated_by":null,"part":"a","version":"4.8.1","update":"*","edition":"*","language":"*","sw_edition":"*","target_sw":"*","target_hw":"*","other":"*","title":"Microsoft Z3 4.8.1","notes":"Imported from NVD CPE 2.0 feed","from_proposal":false,"created_at":"2026-06-01T09:37:38.199904","updated_at":"2026-06-01T09:37:38.199905","vulnerability_references":[],"purl_mappings":[{"id":2218035,"cpe_name_id":"7951A323-9A9B-441D-BE43-23C0D3CDC70F","purl":"pkg:github/z3prover/z3","source":"purl2cpe","created_at":"2026-06-01T10:17:06.053753","updated_at":"2026-06-01T10:17:06.053753"}]},{"id":1143366,"vendor_id":146,"vendor_uuid":"67206627-3ef6-5870-9d98-26a9f2e7065c","product_id":124677,"product_uuid":"c88f9dfd-5ef6-56cc-929c-53af96e748be","cpe_uri":"cpe:2.3:a:microsoft:z3:4.8.3:*:*:*:*:*:*:*","cpe_name_id":"55A00C8F-390F-428D-A9AF-75F357255131","deprecated":false,"deprecated_by":null,"part":"a","version":"4.8.3","update":"*","edition":"*","language":"*","sw_edition":"*","target_sw":"*","target_hw":"*","other":"*","title":"Microsoft Z3 4.8.3","notes":"Imported from NVD CPE 2.0 feed","from_proposal":false,"created_at":"2026-06-01T09:37:38.199297","updated_at":"2026-06-01T09:37:38.199299","vulnerability_references":[],"purl_mappings":[{"id":2218036,"cpe_name_id":"55A00C8F-390F-428D-A9AF-75F357255131","purl":"pkg:github/z3prover/z3","source":"purl2cpe","created_at":"2026-06-01T10:17:06.053754","updated_at":"2026-06-01T10:17:06.053755"}]},{"id":1143365,"vendor_id":146,"vendor_uuid":"67206627-3ef6-5870-9d98-26a9f2e7065c","product_id":124677,"product_uuid":"c88f9dfd-5ef6-56cc-929c-53af96e748be","cpe_uri":"cpe:2.3:a:microsoft:z3:4.8.4:*:*:*:*:*:*:*","cpe_name_id":"DD17885C-E15F-4246-81A8-500CD5DBE666","deprecated":false,"deprecated_by":null,"part":"a","version":"4.8.4","update":"*","edition":"*","language":"*","sw_edition":"*","target_sw":"*","target_hw":"*","other":"*","title":"Microsoft Z3 4.8.4","notes":"Imported from NVD CPE 2.0 feed","from_proposal":false,"created_at":"2026-06-01T09:37:38.198707","updated_at":"2026-06-01T09:37:38.198709","vulnerability_references":[],"purl_mappings":[{"id":2218037,"cpe_name_id":"DD17885C-E15F-4246-81A8-500CD5DBE666","purl":"pkg:github/z3prover/z3","source":"purl2cpe","created_at":"2026-06-01T10:17:06.053755","updated_at":"2026-06-01T10:17:06.053756"}]},{"id":1143377,"vendor_id":146,"vendor_uuid":"67206627-3ef6-5870-9d98-26a9f2e7065c","product_id":124677,"product_uuid":"c88f9dfd-5ef6-56cc-929c-53af96e748be","cpe_uri":"cpe:2.3:a:microsoft:z3:4.8.5:*:*:*:*:*:*:*","cpe_name_id":"4163A80F-7AFD-413D-B7C7-77BF159A5CD1","deprecated":false,"deprecated_by":null,"part":"a","version":"4.8.5","update":"*","edition":"*","language":"*","sw_edition":"*","target_sw":"*","target_hw":"*","other":"*","title":"Microsoft Z3 4.8.5","notes":"Imported from NVD CPE 2.0 feed","from_proposal":false,"created_at":"2026-06-01T09:37:38.206000","updated_at":"2026-06-01T09:37:38.206002","vulnerability_references":[],"purl_mappings":[{"id":2218038,"cpe_name_id":"4163A80F-7AFD-413D-B7C7-77BF159A5CD1","purl":"pkg:github/z3prover/z3","source":"purl2cpe","created_at":"2026-06-01T10:17:06.053757","updated_at":"2026-06-01T10:17:06.053757"}]},{"id":1143364,"vendor_id":146,"vendor_uuid":"67206627-3ef6-5870-9d98-26a9f2e7065c","product_id":124677,"product_uuid":"c88f9dfd-5ef6-56cc-929c-53af96e748be","cpe_uri":"cpe:2.3:a:microsoft:z3:4.8.6:*:*:*:*:*:*:*","cpe_name_id":"45E10417-FE05-411C-87A8-3CF8DA6D8C6A","deprecated":false,"deprecated_by":null,"part":"a","version":"4.8.6","update":"*","edition":"*","language":"*","sw_edition":"*","target_sw":"*","target_hw":"*","other":"*","title":"Microsoft Z3 4.8.6","notes":"Imported from NVD CPE 2.0 feed","from_proposal":false,"created_at":"2026-06-01T09:37:38.198106","updated_at":"2026-06-01T09:37:38.198108","vulnerability_references":[],"purl_mappings":[{"id":2218039,"cpe_name_id":"45E10417-FE05-411C-87A8-3CF8DA6D8C6A","purl":"pkg:github/z3prover/z3","source":"purl2cpe","created_at":"2026-06-01T10:17:06.053758","updated_at":"2026-06-01T10:17:06.053759"}]},{"id":1143363,"vendor_id":146,"vendor_uuid":"67206627-3ef6-5870-9d98-26a9f2e7065c","product_id":124677,"product_uuid":"c88f9dfd-5ef6-56cc-929c-53af96e748be","cpe_uri":"cpe:2.3:a:microsoft:z3:4.8.7:*:*:*:*:*:*:*","cpe_name_id":"3937D1B5-2CA2-4E0A-8797-B5A81A55C366","deprecated":false,"deprecated_by":null,"part":"a","version":"4.8.7","update":"*","edition":"*","language":"*","sw_edition":"*","target_sw":"*","target_hw":"*","other":"*","title":"Microsoft Z3 4.8.7","notes":"Imported from NVD CPE 2.0 feed","from_proposal":false,"created_at":"2026-06-01T09:37:38.197492","updated_at":"2026-06-01T09:37:38.197494","vulnerability_references":[],"purl_mappings":[{"id":2218040,"cpe_name_id":"3937D1B5-2CA2-4E0A-8797-B5A81A55C366","purl":"pkg:github/z3prover/z3","source":"purl2cpe","created_at":"2026-06-01T10:17:06.053760","updated_at":"2026-06-01T10:17:06.053760"}]},{"id":1143362,"vendor_id":146,"vendor_uuid":"67206627-3ef6-5870-9d98-26a9f2e7065c","product_id":124677,"product_uuid":"c88f9dfd-5ef6-56cc-929c-53af96e748be","cpe_uri":"cpe:2.3:a:microsoft:z3:4.8.8:*:*:*:*:*:*:*","cpe_name_id":"817AF3A7-79D8-4681-8E9B-1E2DE7F39883","deprecated":false,"deprecated_by":null,"part":"a","version":"4.8.8","update":"*","edition":"*","language":"*","sw_edition":"*","target_sw":"*","target_hw":"*","other":"*","title":"Microsoft Z3 4.8.8","notes":"Imported from NVD CPE 2.0 feed","from_proposal":false,"created_at":"2026-06-01T09:37:38.196890","updated_at":"2026-06-01T09:37:38.196892","vulnerability_references":[],"purl_mappings":[]},{"id":1143361,"vendor_id":146,"vendor_uuid":"67206627-3ef6-5870-9d98-26a9f2e7065c","product_id":124677,"product_uuid":"c88f9dfd-5ef6-56cc-929c-53af96e748be","cpe_uri":"cpe:2.3:a:microsoft:z3:4.8.9:*:*:*:*:*:*:*","cpe_name_id":"F60A7412-EF44-49AE-9159-6D9A98C07E16","deprecated":false,"deprecated_by":null,"part":"a","version":"4.8.9","update":"*","edition":"*","language":"*","sw_edition":"*","target_sw":"*","target_hw":"*","other":"*","title":"Microsoft Z3 4.8.9","notes":"Imported from NVD CPE 2.0 feed","from_proposal":false,"created_at":"2026-06-01T09:37:38.196294","updated_at":"2026-06-01T09:37:38.196296","vulnerability_references":[],"purl_mappings":[]},{"id":1143352,"vendor_id":146,"vendor_uuid":"67206627-3ef6-5870-9d98-26a9f2e7065c","product_id":124677,"product_uuid":"c88f9dfd-5ef6-56cc-929c-53af96e748be","cpe_uri":"cpe:2.3:a:microsoft:z3:4.9.0:*:*:*:*:*:*:*","cpe_name_id":"ECA3879A-15F7-4FFF-948B-C71D5238DBAB","deprecated":false,"deprecated_by":null,"part":"a","version":"4.9.0","update":"*","edition":"*","language":"*","sw_edition":"*","target_sw":"*","target_hw":"*","other":"*","title":"Microsoft Z3 4.9.0","notes":"Imported from NVD CPE 2.0 feed","from_proposal":false,"created_at":"2026-06-01T09:37:38.190811","updated_at":"2026-06-01T09:37:38.190813","vulnerability_references":[],"purl_mappings":[]},{"id":1143351,"vendor_id":146,"vendor_uuid":"67206627-3ef6-5870-9d98-26a9f2e7065c","product_id":124677,"product_uuid":"c88f9dfd-5ef6-56cc-929c-53af96e748be","cpe_uri":"cpe:2.3:a:microsoft:z3:4.9.1:*:*:*:*:*:*:*","cpe_name_id":"BE0D7D02-C0EB-4F30-BBB0-E8C659C8B7EF","deprecated":false,"deprecated_by":null,"part":"a","version":"4.9.1","update":"*","edition":"*","language":"*","sw_edition":"*","target_sw":"*","target_hw":"*","other":"*","title":"Microsoft Z3 4.9.1","notes":"Imported from NVD CPE 2.0 feed","from_proposal":false,"created_at":"2026-06-01T09:37:38.190209","updated_at":"2026-06-01T09:37:38.190211","vulnerability_references":[],"purl_mappings":[]}],"total":36}