Vulners
Lucene search
| Reporter | Title | Published | Views | Family All 16 |
|---|---|---|---|---|
 | CVE-2020-19725 affecting package z3 for versions less than 4.13.3-1 | 18 Sep 202515:12 | – | cbl_mariner |
 | Z3 资源管理错误漏洞 | 22 Aug 202300:00 | – | cnnvd |
 | CVE-2020-19725 | 22 Aug 202300:00 | – | cve |
 | CVE-2020-19725 | 22 Aug 202300:00 | – | cvelist |
 | EUVD-2020-11623 | 7 Oct 202500:30 | – | euvd |
 | CVE-2020-19725 | 22 Aug 202319:16 | – | nvd |
 | AZL-27991 CVE-2020-19725 affecting package z3 4.8.7-8 | 22 Aug 202319:16 | – | osv |
| AZL-37067 CVE-2020-19725 affecting package z3 for versions less than 4.13.3-1 | 22 Aug 202319:16 | – | osv |
| UBUNTU-CVE-2020-19725 | 22 Aug 202319:16 | – | osv |
 | Design/Logic Flaw | 22 Aug 202319:16 | – | prion |
10
| OS | OS Version | Architecture | Package | Package Version | Filename |
|---|---|---|---|---|---|
| Ubuntu | 22.04 | any | z3 | 0 | z3_0_any.deb |
| Ubuntu | 18.04 | any | z3 | 0 | z3_0_any.deb |
| Ubuntu | 20.04 | any | z3 | 0 | z3_0_any.deb |
| Ubuntu | 24.04 | any | z3 | 0 | z3_0_any.deb |
| Ubuntu | 26.04 | any | z3 | 0 | z3_0_any.deb |
| Ubuntu | 25.10 | any | z3 | 0 | z3_0_any.deb |
| Source | Link |
|---|---|
| github | www.github.com/Z3Prover/z3/issues/3363 |
| cve | www.cve.org/CVERecord |
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
11 Jul 2025 07:43Current
7.1High risk
Vulners AI Score7.1
CVSS 3.17.8
EPSS0.00892
SSVC