CVE-2020-19725: Microsoft z3

High severity, CVSS 7.8. EPSS: 1% chance of exploitation in the next 30 days.

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 products

• Microsoft z3: before 4.8.8 (fixed in 4.8.8)

Published 2023-08-22. Last modified 2026-06-17.