Goal Reached Thanks to every supporter — we hit 100%!

Goal: 1000 CNY · Raised: 1000 CNY

100.0%
Buy Us a Coffee

CVE-2020-19725

EPSS 0.39% · P60
Get alerts for future matching vulnerabilitiesLog in to subscribe

I. Basic Information for CVE-2020-19725

Vulnerability Information
Have questions about the vulnerability? See if Shenlong's analysis helps!
View Shenlong Deep Dive ↗

Although we use advanced large model technology, its output may still contain inaccurate or outdated information.Shenlong tries to ensure data accuracy, but please verify and judge based on the actual situation.

Vulnerability Title
N/A
Source: NVD (National Vulnerability Database)
Vulnerability 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.
Source: NVD (National Vulnerability Database)
CVSS Information
N/A
Source: NVD (National Vulnerability Database)
Vulnerability Type
N/A
Source: NVD (National Vulnerability Database)
Vulnerability Title
Z3 资源管理错误漏洞
Source: CNNVD (China National Vulnerability Database)
Vulnerability Description
Z3是Z3 Theorem Prover开源的一个微软研究院的定理证明器。 Z3 4.8.8之前版本存在安全漏洞，该漏洞源于pdd_simplifier.cpp文件存在释放后重用漏洞。
Source: CNNVD (China National Vulnerability Database)
CVSS Information
N/A
Source: CNNVD (China National Vulnerability Database)
Vulnerability Type
N/A
Source: CNNVD (China National Vulnerability Database)

Affected Products

VendorProductAffected VersionsCPESubscribe
-n/a n/a -

II. Public POCs for CVE-2020-19725

#POC DescriptionSource LinkShenlong Link
AI-Generated POCPremium

No public POC found.

Login to generate AI POC

III. Intelligence Information for CVE-2020-19725

请登录查看更多情报信息。

Same Patch Batch · n/a · 2023-08-22 · 151 CVEs total

CVE-2020-24293FreeImage 安全漏洞
CVE-2020-21710Artifex Software Ghostscript 数字错误漏洞
CVE-2020-21722Sourceforge Ogg Video Tools 资源管理错误漏洞
CVE-2020-21723Sourceforge Ogg Video Tools 安全漏洞
CVE-2020-21724Sourceforge Ogg Video Tools 缓冲区错误漏洞
CVE-2020-21890Artifex Software Ghostscript 缓冲区错误漏洞
CVE-2020-21896Artifex Software MuPDF 资源管理错误漏洞
CVE-2020-22181SAMSUNG sww-3400rw 跨站脚本漏洞
CVE-2020-22217c-ares 缓冲区错误漏洞
CVE-2020-22218libssh2 缓冲区错误漏洞
CVE-2020-22219Free Lossless Audio Codec 安全漏洞
CVE-2020-22524FreeImage 安全漏洞
CVE-2020-22570Memcached 命令注入漏洞
CVE-2020-22628Libraw 缓冲区错误漏洞
CVE-2020-22916XZ 安全漏洞
CVE-2020-23793spice 安全漏洞
CVE-2020-23804Freedesktop Poppler 安全漏洞
CVE-2020-23992Nagios XI 跨站脚本漏洞
CVE-2020-24292FreeImage 安全漏洞
CVE-2021-32292json-c 缓冲区错误漏洞

Showing top 20 of 151 CVEs. View all on vendor page → →

IV. Related Vulnerabilities

Same product: n/a
Same vendor: n/a

V. Comments for CVE-2020-19725

No comments yet

Leave a comment