CVE-2026-72844: lean4 0 to before 4.32.2, 4.33.0-rc1

CVE-2026-72844. CVSS 3.1 base score 6.3 (MEDIUM, Vendor/CNA). EPSS 0.00176 (percentile 0.06664), scored 17-Oct-2026.

Affected technology

lean4 · 0 to before 4.32.2, 4.33.0-rc1
leanprover

Component: Not specified by the source

Attack conditions (Vendor/CNA, CVSS 4.0): Local · No privileges required · Passive user interaction

What an attacker can do

Vendor/CNA’s CVSS 4.0 assessment (base score 6.8/10) rates confidentiality and availability impact as none; integrity impact as high. The description does not specify what an attacker can achieve beyond these rated impacts.

Published 18-Oct-2026 20:24 UTC

CWE: CWE-843
CCR priority: 25.2 /100 (P4)
CVSS 3.1: 6.3 /10 · CVSS:3.1/AV:L/AC:L/PR:N/UI:R/S:C/C:N/I:H/A:N · Vendor/CNA
EPSS: 0.00176 · percentile 0.06664 · 2026-10-17
KEV: no

Provenance

NVD CVE API 2.0 · Source record · observed 2026-10-18 20:23:06.032219+00:00 UTC

Stable permalink: https://cybercodered.org/item/cve-cve-2026-72844.html