CyberRota Analysis
This is a high severity vulnerability with a CVSS score of 7.8. Public exploit code or proof-of-concept references have been detected in its references.
Public Exploit Signal
A public exploit, PoC, GitHub repository or Metasploit reference was detected for this CVE.
Detected Signals
arbitrary code execution code execution
GitHub PoC Links
Note: these links are listed for security research and verification purposes only.
CVE
CVE-2020-19725
Severity
HIGH
CVSS
7.8
EPSS
0.89%
Original NVD 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.
Related CVEs
Other vulnerabilities affecting the same vendor(s)