VDB-394821 · CVE-2026-72714 · GCVE-0-2026-72714

Rocq-Prover Rocq đến 9.2.0 Universe Graph 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.92

Tóm tắtthông tin

Lỗ hổng thuộc loại Có vấn đề đã được tìm thấy trong Rocq-Prover Rocq đến 9.2.0. Trường hợp bị ảnh hưởng là một hàm chưa rõ của thành phần Universe Graph. Việc thay đổi nâng cao đặc quyền. Lỗ hổng này có mã CVE-2026-72714. Cuộc tấn công cần được thực hiện tại chỗ. Chưa phát hiện mã khai thác nào.

Chi tiếtthông tin

Lỗ hổng thuộc loại Có vấn đề đã được tìm thấy trong Rocq-Prover Rocq đến 9.2.0. Trường hợp bị ảnh hưởng là một hàm chưa rõ của thành phần Universe Graph. Việc thay đổi nâng cao đặc quyền. Sử dụng CWE để xác định vấn đề sẽ dẫn đến CWE-371. Lỗ hổng này đã được phát hành. Thông báo này có thể được tải về tại github.com.

Lỗ hổng này có mã CVE-2026-72714. Ngày 10/08/2026 là thời điểm CVE được gán. Cuộc tấn công cần được thực hiện tại chỗ. Chưa có thông tin kỹ thuật nào. 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. Giá hiện tại cho một exploit có thể khoảng USD $0-$5k vào thời điểm này.

Nếu tồn tại độ dài, thì nó được xác định là không được định nghĩa.

Sản phẩmthông tin

Nhà cung cấp

Rocq-Prover

Tên

Rocq

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-371
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ị: không biện pháp giảm thiểu nào được biết
Trạng thái: 🔍

Thời gian 0-ngày: 🔒

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