Lucene search
K

AZL-27991 CVE-2020-19725 affecting package z3 4.8.7-8

🗓️ 22 Aug 2023 19:16:04Reported by GoogleType 
osv
 osv
🔗 osv.dev👁 1 Views

Z3 use-after-free before 4.8.8 in pdd_simplifier.cpp; may segfault.

Related
Refs
ReporterTitlePublishedViews
Family
CBLMariner
CVE-2020-19725 affecting package z3 for versions less than 4.13.3-1
18 Sep 202515:12
cbl_mariner
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-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

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

21 Apr 2026 04:25Current
6.1Medium risk
Vulners AI Score6.1
CVSS 3.17.8
EPSS0.00472
1