CVE-2020-19725
7.8 · HIGHOverview
CVE-2020-19725 is a high-severity vulnerability affecting microsoft z3. It was published on August 22, 2023 and has a CVSS 3.1 base score of 7.8 (HIGH).
This vulnerability has a CVSS 3.1 base score of 7.8, rated HIGH. It requires local or adjacent network access to exploit. No authentication or special privileges are required for exploitation.
Technical 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.
Remediation
Check the references section for vendor advisories and patches from microsoft. Update z3 to the latest patched version. If immediate patching is not possible, review the CVSS vector to understand the attack surface and apply compensating controls such as network segmentation or access restrictions.
Affected Products
| Vendor | Product | Versions | Status |
|---|---|---|---|
| microsoft | z3 | >= 0, < 4.8.8 | Affected |
Frequently Asked Questions
What is CVE-2020-19725?
CVE-2020-19725 is a high-severity vulnerability affecting microsoft z3. It was published on August 22, 2023 and has a CVSS 3.1 base score of 7.8 (HIGH).
How severe is CVE-2020-19725?
This vulnerability has a CVSS 3.1 base score of 7.8, rated HIGH. It requires local or adjacent network access to exploit. No authentication or special privileges are required for exploitation.
How do I fix or remediate CVE-2020-19725?
Check the references section for vendor advisories and patches from microsoft. Update z3 to the latest patched version. If immediate patching is not possible, review the CVSS vector to understand the attack surface and apply compensating controls such as network segmentation or access restrictions.
How can CyberStrike help with CVE-2020-19725?
CyberStrike's AI-powered security agents can automatically detect CVE-2020-19725 across your infrastructure using autonomous pentesting, DAST scanning, and HackBrowser. The platform continuously monitors for known vulnerabilities and provides actionable remediation guidance prioritized by real-world exploitability.
How CyberStrike Helps
AI agents map your attack surface to find vulnerabilities like this one.
Automated penetration testing that runs continuously, not just quarterly.
AI-driven PR review catches vulnerable dependencies before they ship.
Browser-based exploitation validates findings with real proof-of-concept.
Related HIGH CVEs from 2020
View all →The Richtext Editor in Pega Platform before 8.2.6 is affected by a Stored Cross-Site Scripting (XSS)
Pega Platform before version 8.2.6 is affected by a Stored Cross-Site Scripting (XSS) vulnerability
In PrestaShop from version 1.5.0.0 and before version 1.7.6.6, the authentication system is malforme
The Table Filter and Charts for Confluence Server app before 5.3.25 (for Atlassian Confluence) allow
<p>A tampering vulnerability exists when Microsoft SharePoint Server fails to properly handle profil
Yii 2 (yiisoft/yii2) before version 2.0.38 is vulnerable to remote code execution if the application
OpenSlides is a free, Web-based presentation and assembly system for managing and projecting agenda,
libsixel 1.8.4 has an integer overflow in sixel_frame_resize in frame.c.
Cross-site request forgery (CSRF) vulnerability in Opsview before 4.4.1 and Opsview Core before 2013
ngiflib 0.4 has a heap-based buffer over-read in GifIndexToTrueColor in ngiflib.c.
obs-server before 1.7.7 allows logins by 'unconfirmed' accounts due to a bug in the REST api impleme
SQL injection vulnerability in the Jomres (com_jomres) component before 7.3.1 for Joomla! allows rem