{"cpe_name_id":"3937D1B5-2CA2-4E0A-8797-B5A81A55C366","cpe_uri":"cpe:2.3:a:microsoft:z3:4.8.7:*:*:*:*:*:*:*","created_at":"2026-06-01T09:37:38.197492","deprecated":false,"deprecated_by":null,"edition":"*","from_proposal":false,"id":1143363,"language":"*","notes":"Imported from NVD CPE 2.0 feed","other":"*","part":"a","product_id":124677,"product_uuid":"c88f9dfd-5ef6-56cc-929c-53af96e748be","purl_mappings":[{"cpe_name_id":"3937D1B5-2CA2-4E0A-8797-B5A81A55C366","created_at":"2026-06-01T10:17:06.053760","id":2218040,"purl":"pkg:github/z3prover/z3","source":"purl2cpe","updated_at":"2026-06-01T10:17:06.053760"}],"sw_edition":"*","target_hw":"*","target_sw":"*","title":"Microsoft Z3 4.8.7","update":"*","updated_at":"2026-06-01T09:37:38.197494","vendor_id":146,"vendor_uuid":"67206627-3ef6-5870-9d98-26a9f2e7065c","version":"4.8.7","vulnerability_references":[]}