CVE-2020-37268

MEDIUMPre-NVD 6.36.3—
EchelonGraph scoreMEDIUM confidence

Score 6.3 from GitHub Security Advisory published 2026-08-24. The CNA's CVSS baseline 6.3; sources differ by 0.0.

Triggered by: GitHub Security Advisory CVSS
Sources: cna:vulncheck, epss, ghsa
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.2%CVSS: 6.3Exploit: Elevated riskExposed services: Not assessed

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

Print Assumptions does not report that a definition was produced while universe checking was disabled when that definition reaches the caller through Parameter Inline in a module type. Applying a functor inlines the body of the parameter, and the inlining drops the record that the term was built under Unset Universe Checking, so the resulting constant carries no trace of the unsafe operation. A module implementation can therefore prove False using a universe inconsistency, expose it through an inlined parameter, and have Print Assumptions report the dependent proof as closed under the global context. Because Print Assumptions is the in-process audit used to confirm that a development rests on no unexpected assumptions, a dependency built this way passes that audit while proving arbitrary propositions. The standalone checker coqchk does reject the resulting compiled file. The project records this in dev/doc/critical-bugs.md under non-fixed bugs and rates the risk as moderate when coqchk is not used.

CVSS v3
6.3
EG Score
6.3MEDIUMmedium confidence
EG Risk
44
EG Risk 44/100CISA SSVC

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%
CISA SSVC: Track at low or medium mission impact; Track* at high (mission-essential systems).
Action: No fix is confirmed yet. Restrict network exposure of the affected system or apply the vendor's mitigation within your standard update timelines, and watch the vendor's advisory for the fix.
EPSS PROB
0.2%
EPSS %ILE
7th
KEV
Not listed

CISA SSVCTrack at low or medium mission impact; Track* at high (mission-essential systems).

No fix is confirmed yet. Restrict network exposure of the affected system or apply the vendor's mitigation within your standard update timelines, and watch the vendor's advisory for the fix.

Exploitation public PoC (CISA Vulnrichment) · Automatable no (CISA Vulnrichment) · Technical impact partial (CISA Vulnrichment). Mission impact is CISA's Mission & Well-being decision point, and only you can judge it: high means the affected system is essential to your organisation's mission, or its compromise could cause irreversible harm to people. CISA's decision table

Published

August 24, 2026

Last Modified

September 24, 2026

Advisory Details (5)

Auto-updated Aug 24, 2026
No fix on record yet.
generic

Coq and Rocq Prover Print Assumptions Omits Unsafe Universe Checking Inlined Through Parameter Inline | Advisories | VulnCheck

https://www.vulncheck.com/advisories/coq-and-rocq-prover-print-assumptions-omits-unsafe-universe-checking-inlined-through-parameter-inline
generic

Print Assumptions + Parameter Inline fails to report some inconsistent flags · Issue #12155 · rocq-prover/rocq · GitHub

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

rocq/dev/doc/critical-bugs.md at master · rocq-prover/rocq · GitHub

https://github.com/rocq-prover/rocq/blob/master/dev/doc/critical-bugs.md
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-12155 · GitHub

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

Vendor Advisories for CVE-2020-37268(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 / 83× 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.

Showing the most recent 100 of 133 total refreshes for this CVE.

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

Related CVEs(same CWE)

Frequently asked(5)

What is CVE-2020-37268?
CVE-2020-37268 is a medium vulnerability published on August 24, 2026. Print Assumptions does not report that a definition was produced while universe checking was disabled when that definition reaches the caller through Parameter Inline in a module type. Applying a functor inlines the body of the parameter, and the inlining drops the record that the term was built…
When was CVE-2020-37268 disclosed?
CVE-2020-37268 was first published on August 24, 2026, with the most recent update on September 24, 2026. EchelonGraph re-ingests CVE updates from NVD on a 2-hour cycle, so this page reflects the latest published state.
Is CVE-2020-37268 actively exploited?
CVE-2020-37268 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-2020-37268?
CVE-2020-37268 has a CVSS base score of 6.3 (the CNA's own assessment, by vulncheck; NVD's own analysis pending).
How do I remediate CVE-2020-37268?
No fix for CVE-2020-37268 is confirmed yet. Until one is published, restrict network exposure of the affected system or apply the vendor's mitigation — for example, keep it off the internet or limit it to trusted networks — and watch the vendor's advisory for the fix. The vendor advisories EchelonGraph has for CVE-2020-37268 are linked in the Vendor Advisories panel on this page.

Dependency Blast Radius

Explore the affected products and dependency analysis for CVE-2020-37268

Explore →

Is Your Infrastructure Affected by CVE-2020-37268?

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

Book a Demo →Browse All CVEs