CVE-2020-19725

There is a use-after-free vulnerability in file pdd_simplifier.cpp in Z3 before 4.8.8

published August 22, 2023

CVSS
—
EPSS
1%
Percentile
63.6
In the wild
Unconfirmed
What it is

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.

The record
Technical detail
CVSS
Not scored
CVSS v4.0
Not supplied
EPSS
0.01033 · 63.6th percentile
Published
2023-08-22T00:00Z
EPSS history
Timeline
  • 22 AUG 00:00Z
    There is a use-after-free vulnerability in file pdd_simplifier.cpp in Z3 before 4.8.8
    cvelistv5