VDB-393797 · CVE-2026-72844 · GCVE-0-2026-72844

Leanprover Lean 4 đến 4.32.1/4.33.0-rc1 Kernel Type Checking src/kernel/inductive.cpp add_inductive nâng cao đặc quyền

CVSS Điểm tạm thời meta	Giá khai thác hiện tại (≈)	Điểm quan tâm CTI
5.0	$0-$5k	2.19-

Tóm tắtthông tin

Một điểm dễ bị tấn công được phân loại là Có vấn đề đã được tìm thấy trong Leanprover Lean 4 đến 4.32.1/4.33.0-rc1. Thành phần bị ảnh hưởng là hàm environment::add_inductive của tệp src/kernel/inductive.cpp thuộc thành phần Kernel Type Checking. Việc thao tác dẫn đến nâng cao đặc quyền. Vấn đề này được theo dõi dưới định danh CVE-2026-72844. Cuộc tấn công phải được tiến hành trực tiếp trên hệ thống. Chưa phát hiện mã khai thác nào.

Chi tiếtthông tin

Một điểm dễ bị tấn công được phân loại là Có vấn đề đã được tìm thấy trong Leanprover Lean 4 đến 4.32.1/4.33.0-rc1. Thành phần bị ảnh hưởng là hàm environment::add_inductive của tệp src/kernel/inductive.cpp thuộc thành phần Kernel Type Checking. Việc thao tác dẫn đến nâng cao đặc quyền. CWE được sử dụng để mô tả sự cố là CWE-843. Lỗ hổng đã được công bố. Tài liệu khuyến nghị đã được chia sẻ để tải về từ github.com.

Vấn đề này được theo dõi dưới định danh CVE-2026-72844. Ngày 10/08/2026 là thời điểm CVE được gán. Cuộc tấn công phải được tiến hành trực tiếp trên hệ thống. Thông tin kỹ thuật đã có sẵn. Lỗ hổng này có mức độ phổ biến thấp hơn trung bình. Chưa phát hiện mã khai thác nào. Vào lúc này, giá exploit ước khoảng USD $0-$5k.

Nếu trường này có độ dài, thì nó được đặt là không được định nghĩa.

Việc nâng cấp lên phiên bản 4.32.2 sẽ giải quyết được sự cố này.

Sản phẩmthông tin

Nhà cung cấp

Leanprover

Tên

Lean 4

Phiên bản

CPE 2.3thông tin

CPE 2.2thông tin

CVSSv4thông tin

VulDB Vector: 🔒
VulDB Độ tin cậy: 🔍

CNA CVSS-B Score: 🔒
CNA CVSS-BT Score: 🔒
CNA Vector: 🔒

CVSSv3thông tin

VulDB Điểm cơ sở meta: 5.1
VulDB Điểm tạm thời meta: 5.0

VulDB Điểm cơ sở: 4.0
VulDB Điểm tạm thời: 3.8
VulDB Vector: 🔒
VulDB Độ tin cậy: 🔍

CNA Điểm cơ sở: 6.3
CNA Vector (VulnCheck): 🔒

CVSSv2thông tin

AV	AC	Au	C	I	A
💳	💳	💳	💳	💳	💳
💳	💳	💳	💳	💳	💳
💳	💳	💳	💳	💳	💳

Véc-tơ	Độ phức tạp	Xác thực	Bí mật	Toàn vẹn	Khả dụng
Mở khóa	Mở khóa	Mở khóa	Mở khóa	Mở khóa	Mở khóa
Mở khóa	Mở khóa	Mở khóa	Mở khóa	Mở khóa	Mở khóa
Mở khóa	Mở khóa	Mở khóa	Mở khóa	Mở khóa	Mở khóa

VulDB Điểm cơ sở: 🔒
VulDB Điểm tạm thời: 🔒
VulDB Độ tin cậy: 🔍

Khai thácthông tin

Lớp: Nâng cao đặc quyền
CWE: CWE-843
CAPEC: 🔒
ATT&CK: 🔒

Vật lý: Một phần
Cục bộ: Có
Từ xa: Một phần

Khả dụng: 🔒
Trạng thái: Không được định nghĩa
Dự đoán giá: 🔍
Ước tính giá hiện tại: 🔒

0-Day	Mở khóa	Mở khóa	Mở khóa	Mở khóa
Hôm nay	Mở khóa	Mở khóa	Mở khóa	Mở khóa

Tình báo mối đe dọathông tin

Sự quan tâm: 🔍
Diễn viên đang hoạt động: 🔍
Nhóm APT đang hoạt động: 🔍

Biện pháp đối phóthông tin

Khuyến nghị: nâng cấp
Trạng thái: 🔍

Thời gian 0-ngày: 🔒

nâng cấp: Lean 4 4.32.2

dòng thời gianthông tin

10/08/2026 CVE được dành riêng
20/08/2026 +10 ngày Khuyến cáo đã công bố
20/08/2026 +0 ngày Mục VulDB đã được tạo
20/08/2026 +0 ngày Cập nhật lần cuối VulDB