Vulnerability Information
Although we use advanced large model technology, its output may still contain inaccurate or outdated information.Shenlong tries to ensure data accuracy, but please verify and judge based on the actual situation.
Vulnerability Title
N/A
Vulnerability Description
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.
CVSS Information
N/A
Vulnerability Type
N/A
Vulnerability Title
Z3 资源管理错误漏洞
Vulnerability Description
Z3是Z3 Theorem Prover开源的一个微软研究院的定理证明器。 Z3 4.8.8之前版本存在安全漏洞，该漏洞源于pdd_simplifier.cpp文件存在释放后重用漏洞。
CVSS Information
N/A
Vulnerability Type
N/A