Microsoft Z3 — known CVE vulnerabilities

Every CVE whose affected-product data names Microsoft Z3, ordered by CVSS severity, with EPSS exploit prediction and CISA KEV status.

CVEs (1)

• CVE-2020-19725 — CVSS 7.8 (high): 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…