CVE-2020-19725

{"id": "CVE-2020-19725", "metrics": {"cvssMetricV31": [{"type": "Primary", "source": "nvd@nist.gov", "cvssData": {"scope": "UNCHANGED", "version": "3.1", "baseScore": 7.8, "attackVector": "LOCAL", "baseSeverity": "HIGH", "vectorString": "CVSS:3.1/AV:L/AC:L/PR:N/UI:R/S:U/C:H/I:H/A:H", "integrityImpact": "HIGH", "userInteraction": "REQUIRED", "attackComplexity": "LOW", "availabilityImpact": "HIGH", "privilegesRequired": "NONE", "confidentialityImpact": "HIGH"}, "impactScore": 5.9, "exploitabilityScore": 1.8}]}, "published": "2023-08-22T19:16:04.567", "references": [{"url": "https://github.com/Z3Prover/z3/issues/3363", "tags": ["Exploit", "Issue Tracking", "Patch", "Third Party Advisory"], "source": "cve@mitre.org"}], "vulnStatus": "Analyzed", "weaknesses": [{"type": "Primary", "source": "nvd@nist.gov", "description": [{"lang": "en", "value": "CWE-416"}]}], "descriptions": [{"lang": "en", "value": "There is a use-after-free vulnerability in file pdd_simplifier.cpp in Z3 before 4.8.8. It occurs when the solver attempt to simplify the constraints and causes unexpected memory access. It can cause segmentation faults or arbitrary code execution."}, {"lang": "es", "value": "Existe una vulnerabilidad use-after-free en el archivo pdd_simplifier.cpp en Z3 antes de la versi\u00f3n 4.8.8. Ocurre cuando el solucionador intenta simplificar las restricciones y provoca un acceso inesperado a la memoria. Puede causar fallos de segmentaci\u00f3n o ejecuci\u00f3n arbitraria de c\u00f3digo. "}], "lastModified": "2023-08-25T02:46:10.523", "configurations": [{"nodes": [{"negate": false, "cpeMatch": [{"criteria": "cpe:2.3:a:microsoft:z3:*:*:*:*:*:*:*:*", "vulnerable": true, "matchCriteriaId": "6D8EF4B1-776B-4405-896B-9C0EC073D347", "versionEndExcluding": "4.8.8"}], "operator": "OR"}]}], "sourceIdentifier": "cve@mitre.org"}