CVE-2026-72705

MEDIUMPre-NVD 6.36.3—
EchelonGraph scoreHIGH confidence

Score 6.3 from GitHub Security Advisory published 2026-08-24. a secondary CVSS source baseline 6.3; sources differ by 0.0.

Triggered by: GitHub Security Advisory CVSS
Sources: epss, ghsa, secondary
Trending — 3 sources updated this weekElevated
6.3EG
EchelonGraph verdictMonitorLow exploitation likelihood right now — keep watching.
  • Lower severity and no public exploit yet
CISA-KEV: Not listedEPSS PROB: 0%CVSS: 6.3Exploit: Elevated riskExposed: 0

No vendor fix yet — apply a workaround or compensating control (WAF / firewall / segmentation) and watch for a patch.

The guard checker in Rocq Prover does not follow recursive calls made through a fixpoint's own arguments. A fixpoint may pass itself as a higher-order argument to a second fixpoint, which then applies it to a value that is not a subterm of the structural argument. Passing the recursive function to a plain definition is rejected because the checker unfolds the definition and observes the call, but passing it to a fixpoint is accepted because higher-order recursive calls through fixpoint arguments are not tracked. This admits a type that is definitionally equal to its own negation, so self-application produces False in purely definitional code, without tactics, axioms, plugins or unsafe flags, and Print Assumptions reports the result as closed under the global context. Fixed in Rocq 9.2.0.

CVSS v3
6.3
EG Score
6.3(high)
EG Risk
44(Track)
EG Risk 44/100SSVC: Track

EG Risk is EchelonGraph's 0–100 priority score: it fuses intrinsic severity with real-world exploitation and automatability so you can rank equal-severity CVEs and fix the most dangerous first. Higher = act sooner. Distinct from the 0–10 EG Score (severity).

How it’s computed
Severity63% × 45%
Exploitation40% × 40%
Automatability0% × 15%
Action: Routine — remediate on your standard cadence.
EPSS PROB
0%
EPSS %ILE
2%
KEV
Not listed

Published

August 24, 2026

Last Modified

September 8, 2026

Advisory Details (5)

Auto-updated Aug 24, 2026
Patch available. Sources: github_pr.
generic

Rocq Prover before 9.2.0 Guard Checker Accepts Fixpoint Passed as a Higher-Order Argument | Advisories | VulnCheck

https://www.vulncheck.com/advisories/rocq-prover-before-guard-checker-accepts-fixpoint-passed-as-a-higher-order-argument
github_pr Patch Available

Fix issues with uniform arguments of inner fixpoints in guard condition

Patch available: rocq-prover/rocq V9.3+rc1 (PR #21684 merged 2026-03-04)

https://github.com/rocq-prover/rocq/pull/21684
generic

Guard checker soundness bug: higher-order recursive call through fixpoint · Issue #21683 · rocq-prover/rocq · GitHub

https://github.com/rocq-prover/rocq/issues/21683
generic

GitHub - rocq-prover/rocq: The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. · GitHub

https://github.com/rocq-prover/rocq
generic

GitHub - endrazine/rocq-cve-poc-21683 · GitHub

https://github.com/endrazine/rocq-cve-poc-21683

Vendor Advisories for CVE-2026-72705(1)

These vendors published their own advisory mentioning this CVE — often with vendor-specific remediation steps + affected product lists not in NVD.

Weakness Classification(1)

MITRE Common Weakness Enumeration — the root-cause categories this CVE belongs to.

Data Freshness Timeline

(refreshed 19× in last 7d / 79× in last 30d)

Each row is a source pipeline that fetched or updated this CVE on that date, with what changed. For example, "NVD update" means NVD published or revised its analysis for this CVE; "MITRE cvelistV5" means we ingested or refreshed it from the CNA feed. Most recent first.

  1. 2026-09-18 21:45 UTCEG score recompute
  2. 2026-09-18 21:44 UTCGHSA enrichment
  3. 2026-09-18 19:28 UTCEPSS rescore
  4. 2026-09-18 00:06 UTCGHSA enrichment
  5. 2026-09-17 01:04 UTCEG score recompute
  6. 2026-09-17 01:04 UTCGHSA enrichment
  7. 2026-09-16 14:08 UTCEPSS rescore
  8. 2026-09-16 05:15 UTCEPSS rescore
  9. 2026-09-16 03:26 UTCGHSA enrichment
  10. 2026-09-15 05:43 UTCEG score recompute
  11. 2026-09-15 05:43 UTCGHSA enrichment
  12. 2026-09-15 03:12 UTCEPSS rescore
  13. 2026-09-14 07:05 UTCEG score recompute
  14. 2026-09-14 07:05 UTCGHSA enrichment
  15. 2026-09-13 09:26 UTCEG score recompute
  16. 2026-09-13 09:26 UTCGHSA enrichment
  17. 2026-09-12 15:02 UTCEPSS rescore
  18. 2026-09-12 11:48 UTCEG score recompute
  19. 2026-09-12 11:48 UTCGHSA enrichment
  20. 2026-09-11 14:53 UTCEPSS rescore
  21. 2026-09-11 14:09 UTCEG score recompute
  22. 2026-09-11 14:09 UTCGHSA enrichment
  23. 2026-09-10 16:30 UTCEG score recompute
  24. 2026-09-10 16:30 UTCGHSA enrichment
  25. 2026-09-10 09:35 UTCEPSS rescore
Show 54 more
  1. 2026-09-09 18:30 UTCEG score recompute
  2. 2026-09-09 18:30 UTCGHSA enrichment
  3. 2026-09-08 22:01 UTCEPSS rescore
  4. 2026-09-08 20:52 UTCEG score recompute
  5. 2026-09-08 20:52 UTCGHSA enrichment
  6. 2026-09-07 15:20 UTCGHSA enrichment
  7. 2026-09-06 16:12 UTCEG score recompute
  8. 2026-09-06 16:12 UTCGHSA enrichment
  9. 2026-09-06 13:48 UTCEPSS rescore
  10. 2026-09-05 18:30 UTCEG score recompute
  11. 2026-09-05 18:30 UTCGHSA enrichment
  12. 2026-09-04 20:51 UTCEG score recompute
  13. 2026-09-04 20:51 UTCGHSA enrichment
  14. 2026-09-04 05:07 UTCEPSS rescore
  15. 2026-09-03 22:15 UTCGHSA enrichment
  16. 2026-09-03 00:27 UTCEG score recompute
  17. 2026-09-03 00:27 UTCGHSA enrichment
  18. 2026-09-02 14:12 UTCEPSS rescore
  19. 2026-09-02 02:37 UTCEG score recompute
  20. 2026-09-02 02:37 UTCGHSA enrichment
  21. 2026-09-01 13:54 UTCEPSS rescore
  22. 2026-09-01 04:59 UTCEG score recompute
  23. 2026-09-01 04:59 UTCGHSA enrichment
  24. 2026-09-01 04:40 UTCEPSS rescore
  25. 2026-09-01 04:40 UTCEPSS rescore
  26. 2026-08-31 07:18 UTCEG score recompute
  27. 2026-08-31 07:18 UTCGHSA enrichment
  28. 2026-08-30 19:18 UTCEPSS rescore
  29. 2026-08-30 19:17 UTCEPSS rescore
  30. 2026-08-30 09:39 UTCEG score recompute
  31. 2026-08-30 09:39 UTCGHSA enrichment
  32. 2026-08-30 01:22 UTCEPSS rescore
  33. 2026-08-29 12:00 UTCEG score recompute
  34. 2026-08-29 11:59 UTCGHSA enrichment
  35. 2026-08-29 10:20 UTCEG score recompute
  36. 2026-08-29 10:20 UTCGHSA enrichment
  37. 2026-08-28 21:42 UTCEPSS rescore
  38. 2026-08-28 12:41 UTCGHSA enrichment
  39. 2026-08-27 15:02 UTCEG score recompute
  40. 2026-08-27 15:02 UTCGHSA enrichment
  41. 2026-08-27 14:25 UTCEPSS rescore
  42. 2026-08-26 17:23 UTCEG score recompute
  43. 2026-08-26 17:23 UTCGHSA enrichment
  44. 2026-08-26 16:23 UTCEG score recompute
  45. 2026-08-26 16:23 UTCGHSA enrichment
  46. 2026-08-26 16:13 UTCEG score recompute
  47. 2026-08-26 16:13 UTCGHSA enrichment
  48. 2026-08-26 14:47 UTCEPSS rescore
  49. 2026-08-25 18:07 UTCEG score recompute
  50. 2026-08-25 18:06 UTCGHSA enrichment
  51. 2026-08-25 13:49 UTCEPSS rescore
  52. 2026-08-24 20:25 UTCEG score recompute
  53. 2026-08-24 20:11 UTCEG score recompute
  54. 2026-08-24 20:11 UTCMITRE cvelistV5first tracked

Frequently asked(5)

What is CVE-2026-72705?
CVE-2026-72705 is a medium vulnerability published on August 24, 2026. The guard checker in Rocq Prover does not follow recursive calls made through a fixpoint's own arguments. A fixpoint may pass itself as a higher-order argument to a second fixpoint, which then applies it to a value that is not a subterm of the structural argument. Passing the recursive function to…
When was CVE-2026-72705 disclosed?
CVE-2026-72705 was first published in the National Vulnerability Database on August 24, 2026, with the most recent update on September 8, 2026. EchelonGraph re-ingests CVE updates from NVD on a 2-hour cycle, so this page reflects the latest published state.
Is CVE-2026-72705 actively exploited?
CVE-2026-72705 is not currently on CISA's Known Exploited Vulnerabilities catalog. FIRST EPSS estimates a 0% probability of exploitation in the next 30 days, which ranks it in the top 97.9% of all scored CVEs.
What is the CVSS score of CVE-2026-72705?
CVE-2026-72705 has a CVSS v3 base score of 6.3 (NVD).
How do I remediate CVE-2026-72705?
Patch to the fixed version published by the affected vendor. Where vendor advisories exist for CVE-2026-72705, EchelonGraph cross-links them in the Vendor Advisories panel below — those typically contain the canonical remediation steps, fixed version numbers, and any vendor-specific mitigations.

Dependency Blast Radius

Explore the affected products and dependency analysis for CVE-2026-72705

Explore →

Is Your Infrastructure Affected by CVE-2026-72705?

EchelonGraph automatically scans your cloud infrastructure and maps CVE exposure using blast radius analysis.

Start Free Scan →Browse All CVEs