High

DATE	CVE	VULNERABILITY TITLE	RISK
2023-08-22	CVE-2020-19725	Use After Free vulnerability in Microsoft Z3 There is a use-after-free vulnerability in file pdd_simplifier.cpp in Z3 before 4.8.8. local low complexity microsoft CWE-416	7.8

CVE is a registered MITRE Corporation trademark and MITRE's CVE website is the authoritative source of CVE content. CWE is a registered MITRE Corporation trademark and MITRE's CWE website is the authoritative source of CWE content.