CVE-2020-19725 (CNNVD-202308-1893)

HIGH
中文标题:
Z3 资源管理错误漏洞
英文标题:
There is a use-after-free vulnerability in file pdd_simplifier.cpp in Z3 before 4.8.8. It occurs whe...
CVSS分数: 7.8
发布时间: 2023-08-22 00:00:00
漏洞类型: 资源管理错误
状态: PUBLISHED
数据质量分数: 0.30
数据版本: v3
漏洞描述
中文描述:

Z3是Z3 Theorem Prover开源的一个微软研究院的定理证明器。 Z3 4.8.8之前版本存在安全漏洞，该漏洞源于pdd_simplifier.cpp文件存在释放后重用漏洞。

英文描述:

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类型:
CWE-416
标签:
（暂无数据）
受影响产品
厂商 产品 版本 版本范围 平台 CPE
microsoft z3 * - - cpe:2.3:a:microsoft:z3:*:*:*:*:*:*:*:*
解决方案
中文解决方案:
（暂无数据）
英文解决方案:
（暂无数据）
临时解决方案:
（暂无数据）
参考链接
无标题 OTHER
cve.org
访问
CVSS评分详情
7.8
HIGH
CVSS向量: CVSS:3.1/AV:L/AC:L/PR:N/UI:R/S:U/C:H/I:H/A:H
CVSS版本: 3.1
机密性
HIGH
完整性
HIGH
可用性
HIGH
时间信息
发布时间:
2023-08-22 00:00:00
修改时间:
2024-10-04 16:07:10
创建时间:
2025-11-11 15:36:09
更新时间:
2025-11-11 15:58:08
利用信息
暂无可利用代码信息
数据源详情
数据源 记录ID 版本 提取时间
CVE cve_CVE-2020-19725 2025-11-11 15:20:27 2025-11-11 07:36:09
NVD nvd_CVE-2020-19725 2025-11-11 14:57:13 2025-11-11 07:44:35
CNNVD cnnvd_CNNVD-202308-1893 2025-11-11 15:11:17 2025-11-11 07:58:08
版本与语言
当前版本: v3
主要语言: EN
支持语言:
EN ZH
安全公告
暂无安全公告信息
变更历史
v3 CNNVD
2025-11-11 15:58:08
vulnerability_type: 未提取 → 资源管理错误; cnnvd_id: 未提取 → CNNVD-202308-1893; data_sources: ['cve', 'nvd'] → ['cnnvd', 'cve', 'nvd']
查看详细变更
  • vulnerability_type: 未提取 -> 资源管理错误
  • cnnvd_id: 未提取 -> CNNVD-202308-1893
  • data_sources: ['cve', 'nvd'] -> ['cnnvd', 'cve', 'nvd']
v2 NVD
2025-11-11 15:44:35
severity: SeverityLevel.MEDIUM → SeverityLevel.HIGH; cvss_score: 未提取 → 7.8; cvss_vector: NOT_EXTRACTED → CVSS:3.1/AV:L/AC:L/PR:N/UI:R/S:U/C:H/I:H/A:H; cvss_version: NOT_EXTRACTED → 3.1; affected_products_count: 0 → 1; data_sources: ['cve'] → ['cve', 'nvd']
查看详细变更
  • severity: SeverityLevel.MEDIUM -> SeverityLevel.HIGH
  • cvss_score: 未提取 -> 7.8
  • cvss_vector: NOT_EXTRACTED -> CVSS:3.1/AV:L/AC:L/PR:N/UI:R/S:U/C:H/I:H/A:H
  • cvss_version: NOT_EXTRACTED -> 3.1
  • affected_products_count: 0 -> 1
  • data_sources: ['cve'] -> ['cve', 'nvd']