microsoft z3UAF漏洞(CVE-2020-19725)
CVE编号
CVE-2020-19725利用情况
暂无补丁情况
N/A披露时间
2023-08-23漏洞描述
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.解决建议
"将组件 z3 升级至 4.8.8 及以上版本"
参考链接 |
|
|---|---|
| https://github.com/Z3Prover/z3/issues/3363 |
受影响软件情况
| # | 类型 | 厂商 | 产品 | 版本 | 影响面 | ||||
| 1 | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| 运行在以下环境 | |||||||||
| 应用 | microsoft | z3 | * | Up to (excluding) 4.8.8 | |||||
- 攻击路径 本地
- 攻击复杂度 低
- 权限要求 无
- 影响范围 未更改
- 用户交互 需要
- 可用性 高
- 保密性 高
- 完整性 高
| CWE-ID | 漏洞类型 |
| CWE-416 | 释放后使用 |
Exp相关链接
版权声明
本站原创文章转载请注明文章出处及链接，谢谢合作！
评论