CVE:CVE-2020-19725
CNNVD:CNNVD-202308-1893
Z3是Z3 Theorem Prover开源的一个微软研究院的定理证明器。
Z3 4.8.8之前版本存在安全漏洞，该漏洞源于pdd_simplifier.cpp文件存在释放后重用漏洞。
solution:Upgrade microsoft z3 to a higher version than 4.8.8,and avoid the version (,4.8.8)