CVE-2026-72703

Exploitation

Public exploit code exists. CISA's assessment records a public proof of concept. That is not a report of exploitation in the wild.

SSVC decision

• ExploitationpocPublic proof-of-concept exploit code exists. Not a report of exploitation in the wild.
• AutomatablenoAt least one step from reconnaissance to exploitation cannot be reliably automated.
• Technical ImpactpartialSuccessful exploitation gives limited control of the vulnerable component.

CISA publishes the decision points, not a final SSVC decision. The decision also depends on mission and well-being impact, which is a property of your deployment rather than of the vulnerability.

EPSS probability

0.17% probability of exploitation activity in the next 30 days.

EPSS percentile

Equal to or higher than the score of 7.0% of scored records. A rank, not a probability.

NVD base score

6.8 (CVSS v4.0), scored by the NVD independently of the CNA.

NVD CVSS vector

CVSS:4.0/AV:L/AC:L/AT:N/PR:N/UI:P/VC:N/VI:H/VA:N/SC:N/SI:N/SA:N/E:X/CR:X/IR:X/AR:X/MAV:X/MAC:X/MAT:X/MPR:X/MUI:X/MVC:X/MVI:X/MVA:X/MSC:X/MSI:X/MSA:X/S:X/AU:X/R:X/V:X/RE:X/U:X

NVD analysis status

Deferred. NVD last modified this record on 2026-10-26.

Red Hat severity

No Red Hat rating. Red Hat rates the CVEs that affect its products.

Exploit-prediction scores from FIRST. Independent scoring and analysis status from the NVD. Vendor severity from Red Hat. Exploitation assessment and catalog membership from CISA.

Published

2026-08-24 20:08Z2 MO AGO

Last updated

2026-10-26 01:23Z3 DAYS AGO

Reserved

2026-08-10

Assigning CNA

VulnCheck

Record state

PUBLISHED

Severity

Medium (CVSS 6.8)

CNA CVSS vector

CVSS:4.0/AV:L/AC:L/AT:N/PR:N/UI:P/VC:N/VI:H/VA:N/SC:N/SI:N/SA:N

Weaknesses

• CWE-670Always-Incorrect Control Flow ImplementationClass

Data version

5.2

Document digest

30ab943019deedc37d8dee4433a97f7d881b2dd94bb459026dd557f08b7257f1

• github.comhttps://github.com/rocq-prover/rocqproduct
• github.comhttps://github.com/rocq-prover/rocq/issues/21682issue-tracking
• github.comhttps://github.com/rocq-prover/rocq/pull/21684issue-trackingpatch
• github.comhttps://github.com/endrazine/rocq-cve-poc-21682exploit
• www.vulncheck.comVulnCheck Advisory: Rocq Prover 8.20 before 9.2.0 Guard Checker Accepts Non-Terminating Fixpoint via Unchecked Cross-Callshttps://www.vulncheck.com/advisories/rocq-prover-before-guard-checker-accepts-non-terminating-fixpoint-via-unchecked-cross-callsthird-party-advisory
• www.openwall.comhttp://www.openwall.com/lists/oss-security/2026/10/26/4