Use After Free in Microsoft Z3

CVE-2020-19725

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.

Vulnerability class: Use-After-Free

Published · last modified .

CVSS v3 metric

CVSS v3 base score 7.8 (High). Vector: CVSS:3.1/AV:L/AC:L/PR:N/UI:R/S:U/C:H/I:H/A:H.

EPSS exploit prediction

EPSS: 0.010 (62.5th percentile), scored .

Low probability of exploitation in the next 30 days, but still tracked. 63rd percentile — 62.5% of CVEs in the catalogue have a lower EPSS than this one. How to read EPSS.

EPSS trend (30 days)EPSS over the last 30 days for CVE-2020-19725: held from 0.010 to 0.010.

EPSS over last 30 days · oldest: 0.010 · newest: 0.010 · change: 0.000

Affected products

Weakness classification (CWE)

References

Frequently asked questions

What is CVE-2020-19725?
CVE-2020-19725 is a high-severity vulnerability in Microsoft Z3, classified under Use After Free. CVSS score: 7.8/10. Published 2023-08-22.
How severe is CVE-2020-19725?
High severity. CVSS v3 base score is 7.8 out of 10.