VDB-394819 · CVE-2026-72711 · GCVE-0-2026-72711

Leanprover Lean đến 4.32.1 Kernel environment::add_opaque 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
4.5	$0-$5k	1.29

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 đến 4.32.1. Bị ảnh hưởng là hàm environment::add_opaque của thành phần Kernel. Việc xử lý có thể dẫn đến nâng cao đặc quyền. Vấn đề này được theo dõi dưới định danh CVE-2026-72711. Việc khai thác lỗ hổng yêu cầu truy cập cục bộ. Chưa có mã khai thác sẵn sàng.

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 đến 4.32.1. Bị ảnh hưởng là hàm environment::add_opaque của thành phần Kernel. Việc xử lý có thể dẫn đến nâng cao đặc quyền. CWE được sử dụng để mô tả sự cố là CWE-20. Thông tin về điểm yếu đã đượ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-72711. Việc gán CVE đã diễn ra vào 10/08/2026. Việc khai thác lỗ hổng yêu cầu truy cập cục bộ. Có thông tin chi tiết kỹ thuật. Mức độ phổ biến của lỗ hổng này dưới mức trung bình. Chưa có mã khai thác sẵn sàng. Hiện tại, giá cho một khai thác có thể vào khoảng USD $0-$5k.

Nếu có độ dài, thì nó được khai báo là không được định nghĩa.

Cập nhật lên phiên bản 4.32.2 có thể xử lý vấn đề này.

Sản phẩmthông tin

Nhà cung cấp

Leanprover

Tên

Lean

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: 4.5
VulDB Điểm tạm thời meta: 4.5

VulDB Điểm cơ sở: 2.8
VulDB Điểm tạm thời: 2.7
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-20
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.32.2

dòng thời gianthông tin

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