{"cpe_name_id":"50419310-22ff-4e86-80e7-ed63cef692b0","cpe_uri":"cpe:2.3:a:microsoft:z3:*:*:*:*:*:*:*:*","created_at":"2026-06-01T10:17:06.052387","deprecated":false,"deprecated_by":null,"edition":"*","from_proposal":false,"id":1783166,"language":"*","notes":"Imported from purl2cpe mapping","other":"*","part":"a","product_id":124677,"product_uuid":"c88f9dfd-5ef6-56cc-929c-53af96e748be","purl_mappings":[{"cpe_name_id":"50419310-22ff-4e86-80e7-ed63cef692b0","created_at":"2026-06-01T10:17:06.053736","id":2218025,"purl":"pkg:github/z3prover/z3","source":"purl2cpe","updated_at":"2026-06-01T10:17:06.053738"}],"sw_edition":"*","target_hw":"*","target_sw":"*","title":"Z3","update":"*","updated_at":"2026-06-01T10:17:06.052389","vendor_id":146,"vendor_uuid":"67206627-3ef6-5870-9d98-26a9f2e7065c","version":"*","vulnerability_references":[{"approved_at":"2026-06-08T05:20:57.419951","cpe_applicability":"vulnerable","id":1744686,"rationale":"Imported from gcve-enriched-dumps CVE data","submitted_at":"2026-06-08T05:20:57.420942","vulnerability_id":"CVE-2020-19725","vulnerability_source":"CVE"}]}