P4Verified

CVE-2026-72705: rocq 0 to before 9.2.0

CVE-2026-72705. CVSS 3.1 base score 6.3 (MEDIUM, Vendor/CNA). EPSS 0.00176 (percentile 0.06582), scored 11-Oct-2026.

Affected technology

rocq · 0 to before 9.2.0
rocq-prover

Description’s affected range: through a fixpoint's own arguments

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 12-Oct-2026 16:54 UTC

CWE: CWE-670
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.06582 · 2026-10-11
KEV: no

Provenance

NVD CVE API 2.0 · Source record · observed 2026-10-12 16:54:24.294989+00:00 UTC

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