Is CVE-2020-19725 in the CISA KEV catalog?

No. CVE-2020-19725 is not currently on the CISA Known Exploited Vulnerabilities list.

What is the CVSS severity of CVE-2020-19725?

CVE-2020-19725 has a CVSS v3 base score of 7.8 (HIGH).

What is the EPSS score for CVE-2020-19725?

CVE-2020-19725 has an EPSS score of 0.89% (55th percentile), estimating the probability of exploitation in the next 30 days.

CVE & CISA-KEV Catalog

CVE-2020-19725

HIGH

7.8

CVSS v3

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.

CWE-416Use After Free

How to fix

Remediation Available

z3NVD

Affected:< 4.8.8Fixed in:4.8.8CVE-2020-19725derived from NVD

Remediation is compiled from vendor and distribution security advisories. Always confirm against the linked source for your exact version and platform.

CVSS v3 Vector

Exploitability

Attack VectorLocal

Attack ComplexityLow

Privileges RequiredNone

User InteractionRequired

ScopeUnchanged

Impact

ConfidentialityHigh

IntegrityHigh

AvailabilityHigh

CVSS:3.1/AV:L/AC:L/PR:N/UI:R/S:U/C:H/I:H/A:H

Exploit Intelligence

0.89%probability of exploitation in 30 days

55thpercentile

Moderate risk: more likely to be exploited than 55% of all known CVEs.

References

Patch1

github.com

Related Vulnerabilities

Other CWE-416 (Use After Free) vulnerabilities, ordered by exploit likelihood. View all

CVE	Severity	CVSS	EPSS	Exploited	Fix
CVE-2019-0708	Critical	9.8	100%	KEV + Ransom	-
CVE-2021-31166	Critical	9.8	100%	KEV	Fix
CVE-2015-5119	Critical	9.8	99%	KEV	-
CVE-2010-3962	High	8.1	97%	KEV	-
CVE-2015-0313	Critical	9.8	96%	KEV	Fix
CVE-2017-9798	High	7.5	95%	-	Fix

Embed a live status badge for CVE-2020-19725

Markdown

[![CVE-2020-19725](https://tridentstack.com/cve/badge/CVE-2020-19725.svg)](https://tridentstack.com/cve/CVE-2020-19725)

HTML

<a href="https://tridentstack.com/cve/CVE-2020-19725"><img src="https://tridentstack.com/cve/badge/CVE-2020-19725.svg" alt="CVE-2020-19725"></a>

Find and fix vulnerabilities across your fleet

TridentStack Control continuously scans your Windows, macOS, and Linux fleet for known vulnerabilities, prioritizes them by severity and active exploitation, and patches them automatically.

Start free

This product uses NVD data but is not endorsed or certified by the NVD. EPSS scores courtesy of FIRST.org (https://www.first.org/epss). Source: CISA KEV Catalog. Data as of 2024-11-21.