Microsoft Z3 vulnerabilities

• microsoft z3 There is a use-after-free vulnerability in file pdd_simplifier.cpp in Z3 before 4.8.8. It occurs... CVE-2020-19725 Fix available 7.8 HighAugust 22, 2023