| 概要 | 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. |
|---|---|
| 公表日 | 2023年8月23日4:16 |
| 登録日 | 2023年8月23日10:01 |
| 最終更新日 | 2024年11月21日14:09 |
| CVSS3.1 : HIGH | |
| スコア | 7.8 |
|---|---|
| ベクター | CVSS:3.1/AV:L/AC:L/PR:N/UI:R/S:U/C:H/I:H/A:H |
| 攻撃元区分(AV) | ローカル |
| 攻撃条件の複雑さ(AC) | 低 |
| 攻撃に必要な特権レベル(PR) | 不要 |
| 利用者の関与(UI) | 要 |
| 影響の想定範囲(S) | 変更なし |
| 機密性への影響(C) | 高 |
| 完全性への影響(I) | 高 |
| 可用性への影響(A) | 高 |
| 構成1 | 以上 | 以下 | より上 | 未満 | |
| cpe:2.3:a:microsoft:z3:*:*:*:*:*:*:*:* | 4.8.8 | ||||
| タイトル | マイクロソフトの z3 における解放済みメモリの使用に関する脆弱性 |
|---|---|
| 概要 | マイクロソフトの z3 には、解放済みメモリの使用に関する脆弱性が存在します。 |
| 想定される影響 | 情報を取得される、情報を改ざんされる、およびサービス運用妨害 (DoS) 状態にされる可能性があります。 |
| 対策 | ベンダより正式な対策が公開されています。ベンダ情報を参照して適切な対策を実施してください。 |
| 公表日 | 2020年3月17日0:00 |
| 登録日 | 2024年1月23日14:12 |
| 最終更新日 | 2024年1月23日14:12 |
| マイクロソフト |
| z3 4.8.8 未満 |
| No | 変更内容 | 変更日 |
|---|---|---|
| 1 | [2024年01月23日] 掲載 | 2024年1月23日13:40 |