VULNERABILITY INTELLIGENCE

CVE-2020-19725

CVSS score7.8 HIGH

EPSS probability1.03%

CISA KEVNot currently listed

Published2023-08-22

Last modified2026-06-17

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

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.

Weakness classification

nvd@nist.gov: CWE-416

Primary references

cve@mitre.org — Exploit, Issue Tracking, Patch, Third Party Advisory
af854a3a-2127-422b-91ae-364da2661108 — Exploit, Issue Tracking, Patch, Third Party Advisory