CVE-2026-72705

MEDIUMPre-NVD 6.36.3
EchelonGraph scoreMEDIUM confidence

“—” beside the score: it is equal to the CVSS score beside it.

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, GitHub Security Advisory, a secondary CVSS source
Trending — 3 sources updated this weekElevated

Also known asEUVD-2026-65141 (ENISA EUVD) · GHSA-f4rc-7978-q94g (GitHub Security Advisories)Source: ENISA EUVD

6.3EG
EchelonGraph verdictPlan a fixRemediate within your standard update timelines (the SSVC decision on this page).
  • CISA's Vulnrichment rates exploitation as PoC; EchelonGraph holds no exploit-code reference for it
CISA-KEV: Not listedEPSS PROB: 0.2%CVSS: 6.3Exploit: No code on recordExposed services: Not assessed

A fix is available — apply it.

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.3MEDIUMmedium confidence
EG Risk
44
EG Risk 44/100

EG Risk is EchelonGraph's 0–100 priority score. It fuses impact severity (EG Severity, the CVSS base score, never the KEV-floored or EPSS-lifted EG Score) with real-world exploitation and automatability, under weights EchelonGraph set by hand, so you can rank equal-severity CVEs and fix the most dangerous first. Higher = act sooner.

How it’s computed (value × EchelonGraph’s weight)
Severity63% × 45%
Impact severity (EG Severity): CVSS 6.3 of 10. Never the KEV-floored or EPSS-lifted EG Score.
Exploitation40% × 40%
EchelonGraph's fixed weight for EG-KEV Tier 3 (Elevated): a constant, not a probability.
Automatability0% × 15%
CISA's SSVC Automatable value: no (Vulnrichment).
SSVC (CISA's decision table, applied by EchelonGraph): Track at low or medium mission impact; Track* at high (mission-essential systems).
Exploitation public PoC (CISA Vulnrichment) · Automatable no (CISA Vulnrichment) · Technical impact partial (CISA Vulnrichment). All three are CISA's SSVC values (Vulnrichment). EchelonGraph applied CISA's decision table to them; CISA publishes SSVC inputs and the table, not a decision for each CVE.
Action: A fix is available. Apply it within your standard update timelines.
EPSS PROB
0.2%
EPSS %ILE
7th
KEV
Not listed

What the EG score is made of (scorer v4.0: the three questions the 0–10 score mixes, published apart · methodology)

The EG score (6.3): severity, escalated by confirmed exploitation. This CVE's 6.3 is its impact severity (EG Severity), not escalated.

EG Severity
6.3 MEDIUMCVSS-B, impact only: no KEV listing, EPSS or EG-KEV tier raises it.GitHub Security Advisory CVSS
EG Likelihood
0.2% within 30 daysSource: FIRST EPSS (model v2026.06.15, score date 2026-10-29). FIRST's exploitation probability, not an EchelonGraph model.
Confirmed exploitation
None on record (CISA KEV, EG-KEV Tier 1)Reported apart from the likelihood: an observed fact, not a probability.
EG Priority
SSVC Track at medium mission impactTrack at low or medium mission impact; Track* at high (mission-essential systems).CISA BOD 26-04: 60 days if the affected system is publicly exposed; Fix on system upgrade if it is not.Each input and its source: the SSVC and BOD 26-04 blocks below.

SSVC (CISA's decision table, applied by EchelonGraph)Track at low or medium mission impact; Track* at high (mission-essential systems).

A fix is available. Apply it within your standard update timelines.

Exploitation public PoC (CISA Vulnrichment) · Automatable no (CISA Vulnrichment) · Technical impact partial (CISA Vulnrichment). All three are CISA's SSVC values (Vulnrichment). EchelonGraph applied CISA's decision table to them; CISA publishes SSVC inputs and the table, not a decision for each CVE. Mission impact is CISA's Mission & Well-being decision point, and only you can judge it. CISA's table makes it high when Mission Prevalence is Essential — the vulnerable component "directly provides capabilities that constitute at least one MEF for at least one entity" (MEF: mission essential function) — or when Public Well-Being Impact is Irreversible: "multiple fatalities are likely", the cyber-physical system "is likely lost or destroyed", "extreme or serious externalities" are imposed on other parties, or social systems such as elections or the financial grid "are destabilized and potentially collapse". CISA's decision table

BOD 26-04 (CISA's remediation timeline, Table 1)60 days if the affected system is publicly exposed; Fix on system upgrade if it is not.

In CISA KEV no (CISA's KEV catalog) · Automatable no (CISA Vulnrichment) · Technical impact partial (CISA Vulnrichment). Whether your system is publicly exposed is yours to answer. BOD 26-04 binds US Federal Civilian Executive Branch agencies; for anyone else it is CISA's published timeline, a reference rather than an obligation. The directive · how EchelonGraph applies it

Published

August 24, 2026

Last Modified

October 26, 2026

Advisory Details (5)

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

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 pull request 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
Web page

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

https://github.com/rocq-prover/rocq/issues/21683
Web page

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
Web page

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 14× in last 7d / 62× in last 30d)

Each row is a time one of our pipelines fetched, updated or re-scored this CVE. 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. An arrow marks a change the record states ("CVSS v3 → 9.1"); EPSS and GHSA rows show the values recorded at that time, not what changed (EPSS values are rounded; hover one for the exact figures). Most recent first.

Showing the most recent 100 of 170 refreshes on record for this CVE.

A repeat, a row identical to one the same pipeline wrote less than 10 seconds earlier, is not a separate refresh and is not counted. None are among the latest 100 rows. The 70 oldest rows on record are not shown and were not checked, so the counts can still include repeats.

  1. 2026-10-30 16:35 UTCEPSS rescoreEPSS 0.2% · 7th percentile
  2. 2026-10-29 16:58 UTCEG score recompute
  3. 2026-10-29 16:58 UTCGHSA enrichmentGHSA-f4rc-7978-q94g · GitHub CVSS 6.3
  4. 2026-10-29 16:34 UTCEPSS rescoreEPSS 0.2% · 7th percentile
  5. 2026-10-28 16:33 UTCEPSS rescoreEPSS 0.2% · 7th percentile
  6. 2026-10-27 16:32 UTCEPSS rescoreEPSS 0.2% · 7th percentile
  7. 2026-10-26 16:32 UTCEPSS rescoreEPSS 0.2% · 7th percentile
  8. 2026-10-26 02:26 UTCEG score recompute
  9. 2026-10-26 02:26 UTCGHSA enrichmentGHSA-f4rc-7978-q94g · GitHub CVSS 6.3
  10. 2026-10-26 01:46 UTCEG score recompute
  11. 2026-10-26 01:46 UTCGHSA enrichmentGHSA-f4rc-7978-q94g · GitHub CVSS 6.3
  12. 2026-10-25 16:33 UTCEPSS rescoreEPSS 0.2% · 7th percentile
  13. 2026-10-25 14:06 UTCEG score recompute
  14. 2026-10-24 16:33 UTCEPSS rescoreEPSS 0.2% · 6th percentile
  15. 2026-10-23 16:32 UTCEPSS rescoreEPSS 0.2% · 6th percentile
  16. 2026-10-22 19:22 UTCEG score recompute
  17. 2026-10-22 19:22 UTCGHSA enrichmentGHSA-f4rc-7978-q94g · GitHub CVSS 6.3
  18. 2026-10-22 16:35 UTCEPSS rescoreEPSS 0.2% · 6th percentile
  19. 2026-10-21 16:33 UTCEPSS rescoreEPSS 0.2% · 6th percentile
  20. 2026-10-20 16:33 UTCEPSS rescoreEPSS 0.2% · 6th percentile
  21. 2026-10-19 16:33 UTCEPSS rescoreEPSS 0.2% · 6th percentile
  22. 2026-10-18 16:32 UTCEPSS rescoreEPSS 0.2% · 6th percentile
  23. 2026-10-18 03:15 UTCEG score recompute
  24. 2026-10-17 16:35 UTCEPSS rescoreEPSS 0.2% · 6th percentile
  25. 2026-10-16 16:44 UTCEPSS rescoreEPSS 0.2% · 6th percentile
Show 75 more
  1. 2026-10-15 16:32 UTCEPSS rescoreEPSS 0.2% · 6th percentile
  2. 2026-10-14 16:33 UTCEPSS rescoreEPSS 0.2% · 6th percentile
  3. 2026-10-13 16:35 UTCEPSS rescoreEPSS 0.2% · 6th percentile
  4. 2026-10-12 16:34 UTCEPSS rescoreEPSS 0.2% · 6th percentile
  5. 2026-10-12 15:29 UTCEG score recompute
  6. 2026-10-12 15:29 UTCGHSA enrichmentGHSA-f4rc-7978-q94g · GitHub CVSS 6.3
  7. 2026-10-11 19:27 UTCEG score recompute
  8. 2026-10-11 16:42 UTCEG score recompute
  9. 2026-10-11 14:02 UTCEG score recompute
  10. 2026-10-11 13:49 UTCEPSS rescoreEPSS 0.2% · 6th percentile
  11. 2026-10-10 20:00 UTCEPSS rescoreEPSS 0.2% · 6th percentile
  12. 2026-10-10 12:30 UTCEG score recompute
  13. 2026-10-10 12:30 UTCGHSA enrichmentGHSA-f4rc-7978-q94g · GitHub CVSS 6.3
  14. 2026-10-09 20:07 UTCEPSS rescoreEPSS 0.2% · 6th percentile
  15. 2026-10-09 04:41 UTCEG score recompute
  16. 2026-10-09 04:41 UTCGHSA enrichmentGHSA-f4rc-7978-q94g · GitHub CVSS 6.3
  17. 2026-10-08 17:13 UTCEPSS rescoreEPSS 0.2% · 6th percentile
  18. 2026-10-08 03:49 UTCEG score recompute
  19. 2026-10-08 03:49 UTCGHSA enrichmentGHSA-f4rc-7978-q94g · GitHub CVSS 6.3
  20. 2026-10-07 23:48 UTCEPSS rescoreEPSS 0.2% · 6th percentile
  21. 2026-10-07 01:11 UTCEG score recompute
  22. 2026-10-07 01:11 UTCGHSA enrichmentGHSA-f4rc-7978-q94g · GitHub CVSS 6.3
  23. 2026-10-06 15:18 UTCEPSS rescoreEPSS 0.2% · 6th percentile
  24. 2026-10-06 02:46 UTCEG score recompute
  25. 2026-10-06 02:46 UTCGHSA enrichmentGHSA-f4rc-7978-q94g · GitHub CVSS 6.3
  26. 2026-10-05 17:43 UTCEPSS rescoreEPSS 0.2% · 6th percentile
  27. 2026-10-04 23:57 UTCEG score recompute
  28. 2026-10-04 23:57 UTCGHSA enrichmentGHSA-f4rc-7978-q94g · GitHub CVSS 6.3
  29. 2026-10-04 23:22 UTCEPSS rescoreEPSS 0.2% · 6th percentile
  30. 2026-10-04 02:18 UTCEG score recompute
  31. 2026-10-04 02:18 UTCGHSA enrichmentGHSA-f4rc-7978-q94g · GitHub CVSS 6.3
  32. 2026-10-03 14:26 UTCEPSS rescoreEPSS 0.2% · 6th percentile
  33. 2026-10-03 01:34 UTCEG score recompute
  34. 2026-10-03 01:34 UTCGHSA enrichmentGHSA-f4rc-7978-q94g · GitHub CVSS 6.3
  35. 2026-10-02 03:40 UTCEG score recompute
  36. 2026-10-02 03:40 UTCGHSA enrichmentGHSA-f4rc-7978-q94g · GitHub CVSS 6.3
  37. 2026-10-01 19:50 UTCEPSS rescoreEPSS 0.2% · 6th percentile
  38. 2026-10-01 05:37 UTCEG score recompute
  39. 2026-10-01 05:37 UTCGHSA enrichmentGHSA-f4rc-7978-q94g · GitHub CVSS 6.3
  40. 2026-09-30 06:59 UTCEG score recompute
  41. 2026-09-30 06:59 UTCGHSA enrichmentGHSA-f4rc-7978-q94g · GitHub CVSS 6.3
  42. 2026-09-28 21:32 UTCEG score recompute
  43. 2026-09-28 21:32 UTCGHSA enrichmentGHSA-f4rc-7978-q94g · GitHub CVSS 6.3
  44. 2026-09-28 13:52 UTCEPSS rescoreEPSS 0.2% · 6th percentile
  45. 2026-09-27 19:54 UTCEG score recompute
  46. 2026-09-27 19:54 UTCGHSA enrichmentGHSA-f4rc-7978-q94g · GitHub CVSS 6.3
  47. 2026-09-27 13:48 UTCEPSS rescoreEPSS 0.2% · 6th percentile
  48. 2026-09-26 22:16 UTCEG score recompute
  49. 2026-09-26 22:16 UTCGHSA enrichmentGHSA-f4rc-7978-q94g · GitHub CVSS 6.3
  50. 2026-09-26 15:59 UTCEPSS rescoreEPSS 0.2% · 6th percentile
  51. 2026-09-25 12:37 UTCGHSA enrichmentGHSA-f4rc-7978-q94g · GitHub CVSS 6.3
  52. 2026-09-24 14:58 UTCEG score recompute
  53. 2026-09-24 14:58 UTCGHSA enrichmentGHSA-f4rc-7978-q94g · GitHub CVSS 6.3
  54. 2026-09-24 08:27 UTCEG score recompute
  55. 2026-09-24 08:27 UTCGHSA enrichmentGHSA-f4rc-7978-q94g · GitHub CVSS 6.3
  56. 2026-09-23 17:54 UTCEPSS rescoreEPSS 0.1% · 2nd percentile
  57. 2026-09-23 10:48 UTCEG score recompute
  58. 2026-09-23 10:48 UTCGHSA enrichmentGHSA-f4rc-7978-q94g · GitHub CVSS 6.3
  59. 2026-09-22 12:55 UTCEG score recompute
  60. 2026-09-22 12:55 UTCGHSA enrichmentGHSA-f4rc-7978-q94g · GitHub CVSS 6.3
  61. 2026-09-21 21:09 UTCEPSS rescoreEPSS 0.1% · 2nd percentile
  62. 2026-09-21 15:17 UTCEG score recompute
  63. 2026-09-21 15:17 UTCGHSA enrichmentGHSA-f4rc-7978-q94g · GitHub CVSS 6.3
  64. 2026-09-20 20:16 UTCEPSS rescoreEPSS 0.1% · 2nd percentile
  65. 2026-09-20 17:02 UTCGHSA enrichmentGHSA-f4rc-7978-q94g · GitHub CVSS 6.3
  66. 2026-09-19 19:23 UTCGHSA enrichmentGHSA-f4rc-7978-q94g · GitHub CVSS 6.3
  67. 2026-09-18 21:45 UTCEG score recompute
  68. 2026-09-18 21:44 UTCGHSA enrichmentGHSA-f4rc-7978-q94g · GitHub CVSS 6.3
  69. 2026-09-18 19:28 UTCEPSS rescoreEPSS 0.1% · 2nd percentile
  70. 2026-09-18 00:06 UTCGHSA enrichmentGHSA-f4rc-7978-q94g · GitHub CVSS 6.3
  71. 2026-09-17 01:04 UTCEG score recompute
  72. 2026-09-17 01:04 UTCGHSA enrichmentGHSA-f4rc-7978-q94g · GitHub CVSS 6.3
  73. 2026-09-16 14:08 UTCEPSS rescoreEPSS 0.1% · 2nd percentile
  74. 2026-09-16 05:15 UTCEPSS rescoreEPSS 0.1% · 2nd percentile
  75. 2026-09-16 03:26 UTCGHSA enrichmentGHSA-f4rc-7978-q94g · GitHub CVSS 6.3

Frequently asked(5)

What is CVE-2026-72705?
CVE-2026-72705 is a medium-severity vulnerability; its CVE record was 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 made public?
CVE-2026-72705 was made public on February 28, 2026: that is the date its CVE record's CNA, VulnCheck, gives for when the vulnerability was made public. The CVE record itself was published on August 24, 2026. EchelonGraph's copy of the record carries a last-modified date of October 26, 2026; the record at its source may have been updated since.
Is CVE-2026-72705 actively exploited?
CVE-2026-72705 is not currently on CISA's Known Exploited Vulnerabilities catalog. FIRST EPSS estimates a 0.2% probability of exploitation in the next 30 days (7th percentile of EPSS-scored CVEs).
What is the CVSS score of CVE-2026-72705?
CVE-2026-72705 has a CVSS base score of 6.3 (a secondary CVSS source that NVD displays; NVD's own analysis pending).
How do I remediate CVE-2026-72705?
A fix for CVE-2026-72705 is available: update to the fixed version the vendor names in its advisory. The vendor advisories EchelonGraph has for CVE-2026-72705 are linked in the Vendor Advisories panel on this page.

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.