Lucene search
MitreCVELIST:CVE-2020-19725HistoryAug 22, 2023 - 12:00 a.m.
CVE-2020-19725
2023-08-2200:00:00
mitre
www.cve.org
4
z3
use-after-free
pdd_simplifier.cpp
memory access
segmentation faults
arbitrary code execution
EPSS
0.001
Percentile
34.7%
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.
References
Related
cve
cve
CVE-2020-19725
2023-08-22 19:16:04
ubuntucve
ubuntucve
CVE-2020-19725
2023-08-22 00:00:00
prion
prion
Design/Logic Flaw
2023-08-22 19:16:00
osv
osv
CVE-2020-19725
2023-08-22 19:16:04
veracode
veracode
Use After Free
2023-08-24 03:54:22
nvd
nvd
CVE-2020-19725
2023-08-22 19:16:04