CVE-2020-19725

HIGH 7.8CVE-2020-19725 · Published 22/08/2023 · updated 17/06/2026

In short

CVE-2020-19725 is a HIGH (CVSS 7.8) vulnerability affecting z3 (microsoft).
Chance of exploitation in the next 30 days (EPSS): 1.0%, higher than 64.0% of all vulnerabilities.
Fix: update to 4.8.8 or later.

Package	Affected versions	Patched versions
z3 microsoft	`< 4.8.8`	`4.8.8`

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.

References

Z3Prover/z3 · Exploit

Running one of these products? Scan your site to see whether it exposes a vulnerable version.

Scan my site free