01 Record
CVE-2026-72704
Rocq Prover through 9.2.0 Guard Checker Trusts Corrupted Recursive Tree After Transport
MediumPUBLISHEDCNA: VulnCheck
CNA base score6.8 CVSS v4.0CVSS:4.0/AV:L/AC:L/AT:N/PR:N/UI:P/VC:N/VI:H/VA:N/SC:N/SI:N/SA:N
02 Description
Rocq Prover through 9.2.0 Guard Checker Trusts Corrupted Recursive Tree After Transport
03 Exploitation and scoring
- 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.
- 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.
04 Metadata
- 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
- ef9b83031895b160137896eed4074d608a1d44e936e22a5fad011080c49ca974
05 Affected products
VendorProductVersionsPlatforms
06 References
- github.comhttps://github.com/rocq-prover/rocq
- github.comhttps://github.com/rocq-prover/rocq/issues/22024
- github.comhttps://github.com/rocq-prover/rocq/pull/22027
- github.comhttps://github.com/endrazine/rocq-cve-poc-22024
- www.vulncheck.comVulnCheck Advisory: Rocq Prover through 9.2.0 Guard Checker Trusts Corrupted Recursive Tree After Transporthttps://www.vulncheck.com/advisories/rocq-prover-through-guard-checker-trusts-corrupted-recursive-tree-after-transport
- www.openwall.comhttp://www.openwall.com/lists/oss-security/2026/10/26/5