Search Results (Refine Search)
- Keyword (text search): cpe:2.3:a:microsoft:z3:4.8.1:*:*:*:*:*:*:*
- CPE Name Search: true
Vuln ID | Summary | CVSS Severity |
---|---|---|
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. Published: August 22, 2023; 3:16:04 PM -0400 |
V4.0:(not available) V3.1: 7.8 HIGH V2.0:(not available) |