Lucene search
K

CVE-2020-19725 affecting package z3 for versions less than 4.13.3-1

🗓️ 18 Sep 2025 15:12:20Reported by CBL MarinerType 
cbl_mariner
 cbl_mariner
👁 3 Views

CVE-2020-19725 affects z3 versions less than 4.13.3-1; upgrading resolves.

Related
Packages
ReporterTitlePublishedViews
Family
CNNVD
Z3 资源管理错误漏洞
22 Aug 202300:00
cnnvd
CVE
CVE-2020-19725
22 Aug 202300:00
cve
Cvelist
CVE-2020-19725
22 Aug 202300:00
cvelist
EUVD
EUVD-2020-11623
7 Oct 202500:30
euvd
NVD
CVE-2020-19725
22 Aug 202319:16
nvd
OSV
AZL-27991 CVE-2020-19725 affecting package z3 4.8.7-8
22 Aug 202319:16
osv
OSV
AZL-37067 CVE-2020-19725 affecting package z3 for versions less than 4.13.3-1
22 Aug 202319:16
osv
OSV
UBUNTU-CVE-2020-19725
22 Aug 202319:16
osv
Prion
Design/Logic Flaw
22 Aug 202319:16
prion
RedhatCVE
CVE-2020-19725
22 May 202515:55
redhatcve
Rows per page
OSOS VersionArchitecturePackagePackage VersionFilename
Azure Linux3.0allz34.13.3-1UNKNOWN

Data

Build on a solid foundation with Vulners data

We provide the essential building blocks for cybersecurity solutions with comprehensive, structured, and constantly updated vulnerability and exploits data

Api

Power your application with Vulners API

The Vulners REST API offers reliable, high-performance access to vulnerability intelligence, with 99.9% SLA uptime and CDN-backed data delivery for seamless global access

App

Assess and manage vulnerabilities with Vulners tools

Built on top of Vulners' database and SDK, end-user solutions give security professionals and developers lightweight and powerful tools for vulnerability remediation

18 Sep 2025 15:12Current
6.9Medium risk
Vulners AI Score6.9
CVSS 3.17.8
EPSS0.00892
SSVC
3