CVE-2020-19725

Name: CVE-2020-19725
Creator: NVD / NIST
Published: 2023-08-22T19:16:04.567+00:00
License: https://creativecommons.org/publicdomain/zero/1.0/

HIGHCVSS 7.8/10EPSS 0.89%

Last modified Jun 17, 2026

CVE-2020-19725 is a high-severity vulnerability rated 7.8/10 on the CVSS scale. 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. EPSS estimates a 0.89% chance of exploitation in the next 30 days.

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.

Metrics

CVSS 3.1

7.8/10

CVSS:3.1/AV:L/AC:L/PR:N/UI:R/S:U/C:H/I:H/A:H

EPSS Probability

0.89%

54.8th percentile

Probability of exploitation in the next 30 days. Learn more

Weakness Enumeration

CWE-416

Affected Software

Vendor	Product	Versions
Microsoft	Z3	< 4.8.8

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

Timeline

Published: Aug 22, 2023
Last Modified: Jun 17, 2026
Status: Modified

Frequently Asked Questions

What is CVE-2020-19725?

How severe is CVE-2020-19725?

CVE-2020-19725 has a CVSS score of 7.8/10 (HIGH severity). The EPSS model estimates a 0.89% probability of exploitation in the next 30 days.

How do I fix CVE-2020-19725?

Check the vendor references and advisories linked above for patched versions and mitigation guidance. You can also run a Strix scan to test if your systems are affected.

Are you affected by CVE-2020-19725?

Run a free Strix scan to check your systems for this vulnerability.

Scan your code now

Source: NVD / NIST