Vulnerability · Published Aug 22, 2023 · Assigned by mitre
CVE-2020-19725
High 7.8
In plain English
A high-severity security flaw in the z3 package (Ubuntu). Proof-of-concept exploit code is public. The chance it is exploited in the next 30 days is estimated at 1.0% (higher than 64% of all known vulnerabilities).
Severity (CVSS NVD)7.8High
Exploit odds (30 days)1.0%top 36.0% of all CVEs
Exploited in the wildNo reportsCISA SSVC: poc
Attack toolingNoneno public tooling known
Official 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.
Affected packages & fixed versions
| Ecosystem | Package | Fixed in | Advisory |
|---|---|---|---|
| Ubuntu:22.04:LTS | z3 | no fix listed | UBUNTU-CVE-2020-19725 |
| Ubuntu:24.04:LTS | z3 | no fix listed | UBUNTU-CVE-2020-19725 |
| Ubuntu:25.10 | z3 | no fix listed | UBUNTU-CVE-2020-19725 |
| Ubuntu:26.04:LTS | z3 | no fix listed | UBUNTU-CVE-2020-19725 |
| Ubuntu:26.10 | z3 | no fix listed | UBUNTU-CVE-2020-19725 |