CVE-2020-19725
CVSS v3
7.8
HIGH
EPSS Score
1.0 %
exploit probability, as of 2026-09-25
CISA KEV
No
known exploited
Exploitation
—
SSVC status
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.
Technical details
- Published
- 2023-08-22
Frequently asked questions
What is 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.
Is CVE-2020-19725 actively exploited?
Active exploitation of CVE-2020-19725 has not been confirmed. Its EPSS score was 1.0% on 2026-09-25, the estimated probability of exploitation in the next 30 days.
What is the CVSS score for CVE-2020-19725?
CVE-2020-19725 has a CVSS v3 base score of 7.8 (HIGH severity).
Is CVE-2020-19725 affecting your environment?
Use isMalicious to check if any of your IPs or domains are associated with this vulnerability's IOCs.
No credit card required · 500 free checks/month · Free API key
Other 2020 vulnerabilities worth triaging
Ranked by exploit probability (EPSS).