| |
Vulnerability CVE-2020-19725
Published: 2023-08-22
| 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. |
References: |
https://github.com/Z3Prover/z3/issues/3363
|
|
|
Copyright 2026, cxsecurity.com
|
|
|
