CVE-2020-19725: microsoft z3

csirt@kutim:~/threat-intel/cve/CVE-2020-19725

CVSS 7.8 · High EPSS 1,0%

Kerentanan Use After Free pada microsoft z3. Skor CVSS 3.1 7.8 (High) menurut NVD.

Deskripsi (NVD)

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.

Rincian

Terbit di NVD: 22 Agustus 2023
Terakhir diubah: 17 Juni 2026
Status NVD: Modified
CVSS 3.1: 7.8 (High), sumber NVD
CVSS:3.1/AV:L/AC:L/PR:N/UI:R/S:U/C:H/I:H/A:H · uraikan di kalkulator
Jenis kelemahan (CWE): CWE-416: Use After Free
EPSS (30 hari): 1,0% peluang dieksploitasi; lebih tinggi dari 62,9% CVE lain

Produk dan versi terdampak

Vendor	Produk	Versi terdampak
microsoft	z3	Semua versi sebelum 4.8.8

> Data dari konfigurasi CPE di NVD.

Referensi dan perbaikan

https://github.com/Z3Prover/z3/issues/3363 exploit · issue tracking · patch · advisory pihak ketiga

Sumber: NVD · CVE.org · EPSS. Halaman ini disusun otomatis dari data tersebut; pembaruan terakhir 5 Okt 2026, 20:10 WITA. Kalau sistem di Perangkat Daerah memakai produk ini dan butuh bantuan, laporkan lewat kanal pelaporan.