VDB-394820 · CVE-2026-72705 · GCVE-0-2026-72705

Rocq Prover đến 9.1.x Guard Checker 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	2.21

Tóm tắtthông tin

Một lỗ hổng được phân loại là Có vấn đề đã được phát hiện trong Rocq Prover Rocq đến 9.1.x. Đối tượng bị ảnh hưởng là một chức năng không xác định thuộc thành phần Guard Checker. Việc thao tác nâng cao đặc quyền. Lỗ hổng này được định danh là CVE-2026-72705. Cần tiến hành cuộc tấn công trực tiếp tại chỗ. Không có mã khai thác nào sẵn có.

Chi tiếtthông tin

Một lỗ hổng được phân loại là Có vấn đề đã được phát hiện trong Rocq Prover Rocq đến 9.1.x. Đối tượng bị ảnh hưởng là một chức năng không xác định thuộc thành phần Guard Checker. Việc thao tác nâng cao đặc quyền. Việc sử dụng CWE để khai báo vấn đề dẫn đến CWE-20. Lỗ hổng đã được công bố. Khuyến nghị này được chia sẻ để tải xuống tại github.com.

Lỗ hổng này được định danh là CVE-2026-72705. CVE được gán vào ngày 10/08/2026. Cần tiến hành cuộc tấn công trực tiếp tại chỗ. Không có chi tiết kỹ thuật nào được cung cấp. Độ phổ biến của lỗ hổng này thấp hơn mức trung bình. Không có mã khai thác nào sẵn có. Vào thời điểm này, giá hiện tại của một khai thác có thể khoảng USD $0-$5k.

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

Nâng cấp lên 9.2.0 sẽ giúp giải quyết vấn đề này.

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-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: Rocq 9.2.0

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