{"id":"AZL-37067","summary":"CVE-2020-19725 affecting package z3 for versions less than 4.13.3-1","details":"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.","modified":"2026-04-21T04:28:08.471341Z","published":"2023-08-22T19:16:04Z","upstream":["CVE-2020-19725"],"references":[{"type":"WEB","url":"https://nvd.nist.gov/vuln/detail/CVE-2020-19725"}],"affected":[{"package":{"name":"z3","ecosystem":"Azure Linux:3","purl":"pkg:rpm/azure-linux/z3"},"ranges":[{"type":"ECOSYSTEM","events":[{"introduced":"0"},{"fixed":"4.13.3-1"}]}],"database_specific":{"source":"https://github.com/microsoft/AzureLinuxVulnerabilityData/blob/main/osv/AZL-37067.json"}}],"schema_version":"1.7.5","severity":[{"type":"CVSS_V3","score":"CVSS:3.1/AV:L/AC:L/PR:N/UI:R/S:U/C:H/I:H/A:H"}]}