CVE-2020-19725

PoC —

CVSS 3.1

7.8 high

EPSS

1%p62

Published

Aug 22, 2023 (Aug 22, 2023)

Modified

Jun 17, 2026

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.

Vendors: microsoft
Products: z3
Weakness: CWE-416
Vector: CVSS:3.1/AV:L/AC:L/PR:N/UI:R/S:U/C:H/I:H/A:H

NVD CVE.org GitHub PoCs EPSS (1.0%)

In the news0 stories

No ingested article mentions this CVE yet.