VulnerabilityModified
CVE-2020-19725
There is a use-after-free vulnerability in file pdd_simplifier.cpp in Z3 before 4.8.8.
HIGH 7.8EPSS 1.03%
Does this matter?
High impact if exploited, but EPSS currently rates exploitation as unlikely (1.03%). Schedule it in the normal patch cycle and watch for a rise in EPSS or a public exploit.
Description
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.
- CVSS 3.1
- 7.8 HIGHCVSS:3.1/AV:L/AC:L/PR:N/UI:R/S:U/C:H/I:H/A:H
- EPSS
- 1.03% probability · 62th percentile
- CISA KEV
- Not listed
- Weakness
- CWE-416
- Affected
- microsoft/z3
- Source
- cve@mitre.org
References
- https://github.com/Z3Prover/z3/issues/3363Exploit, Issue Tracking, Patch, Third Party Advisory
- https://github.com/Z3Prover/z3/issues/3363Exploit, Issue Tracking, Patch, Third Party Advisory
Source: NVD record, EPSS from FIRST.org, KEV from CISA. Refreshed daily.