CVE-2020-37268

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.

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.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
No patch confirmed 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 21× in last 7d / 76× 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:50 UTCEG score recompute
  2. 2026-09-18 21:50 UTCGHSA enrichment
  3. 2026-09-18 19:23 UTCEPSS rescore
  4. 2026-09-18 00:06 UTCEG score recompute
  5. 2026-09-18 00:06 UTCGHSA enrichment
  6. 2026-09-17 19:22 UTCEPSS rescore
  7. 2026-09-17 01:12 UTCEG score recompute
  8. 2026-09-17 01:12 UTCGHSA enrichment
  9. 2026-09-16 14:04 UTCEPSS rescore
  10. 2026-09-16 03:28 UTCGHSA enrichment
  11. 2026-09-15 05:43 UTCEG score recompute
  12. 2026-09-15 05:43 UTCGHSA enrichment
  13. 2026-09-15 03:06 UTCEPSS rescore
  14. 2026-09-14 07:29 UTCEG score recompute
  15. 2026-09-14 07:29 UTCGHSA enrichment
  16. 2026-09-13 16:43 UTCEPSS rescore
  17. 2026-09-13 09:45 UTCEG score recompute
  18. 2026-09-13 09:44 UTCGHSA enrichment
  19. 2026-09-12 14:57 UTCEPSS rescore
  20. 2026-09-12 12:00 UTCEG score recompute
  21. 2026-09-12 12:00 UTCGHSA enrichment
  22. 2026-09-11 14:15 UTCEG score recompute
  23. 2026-09-11 14:15 UTCGHSA enrichment
  24. 2026-09-11 09:32 UTCEPSS rescore
  25. 2026-09-10 16:30 UTCEG score recompute
Show 51 more
  1. 2026-09-10 16:30 UTCGHSA enrichment
  2. 2026-09-09 18:37 UTCEG score recompute
  3. 2026-09-09 18:37 UTCGHSA enrichment
  4. 2026-09-08 21:56 UTCEPSS rescore
  5. 2026-09-08 20:52 UTCGHSA enrichment
  6. 2026-09-08 07:55 UTCEG score recompute
  7. 2026-09-08 07:55 UTCGHSA enrichment
  8. 2026-09-07 15:57 UTCEPSS rescore
  9. 2026-09-07 10:05 UTCEG score recompute
  10. 2026-09-07 10:05 UTCGHSA enrichment
  11. 2026-09-06 13:44 UTCEPSS rescore
  12. 2026-09-06 12:15 UTCEG score recompute
  13. 2026-09-06 12:15 UTCGHSA enrichment
  14. 2026-09-05 15:24 UTCEPSS rescore
  15. 2026-09-05 14:31 UTCGHSA enrichment
  16. 2026-09-04 16:47 UTCEG score recompute
  17. 2026-09-04 16:47 UTCGHSA enrichment
  18. 2026-09-04 13:57 UTCEPSS rescore
  19. 2026-09-04 05:03 UTCEPSS rescore
  20. 2026-09-03 19:02 UTCGHSA enrichment
  21. 2026-09-02 20:46 UTCEG score recompute
  22. 2026-09-02 20:46 UTCGHSA enrichment
  23. 2026-09-02 14:08 UTCEPSS rescore
  24. 2026-09-01 21:25 UTCEG score recompute
  25. 2026-09-01 21:25 UTCGHSA enrichment
  26. 2026-09-01 03:32 UTCEPSS rescore
  27. 2026-08-31 23:39 UTCGHSA enrichment
  28. 2026-08-31 01:55 UTCEG score recompute
  29. 2026-08-31 01:55 UTCGHSA enrichment
  30. 2026-08-30 19:14 UTCEPSS rescore
  31. 2026-08-30 04:11 UTCEG score recompute
  32. 2026-08-30 04:11 UTCGHSA enrichment
  33. 2026-08-30 01:18 UTCEPSS rescore
  34. 2026-08-29 06:26 UTCEG score recompute
  35. 2026-08-29 06:26 UTCGHSA enrichment
  36. 2026-08-28 08:41 UTCEG score recompute
  37. 2026-08-28 08:41 UTCGHSA enrichment
  38. 2026-08-27 14:21 UTCEPSS rescore
  39. 2026-08-27 10:55 UTCEG score recompute
  40. 2026-08-27 10:55 UTCGHSA enrichment
  41. 2026-08-26 14:42 UTCEPSS rescore
  42. 2026-08-26 13:10 UTCEG score recompute
  43. 2026-08-26 13:10 UTCGHSA enrichment
  44. 2026-08-25 15:23 UTCEG score recompute
  45. 2026-08-25 15:23 UTCGHSA enrichment
  46. 2026-08-25 15:16 UTCEG score recompute
  47. 2026-08-25 15:16 UTCGHSA enrichment
  48. 2026-08-25 13:45 UTCEPSS rescore
  49. 2026-08-24 20:25 UTCEG score recompute
  50. 2026-08-24 20:11 UTCEG score recompute
  51. 2026-08-24 20:11 UTCMITRE cvelistV5first tracked

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 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-2020-37268 actively exploited?
CVE-2020-37268 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-2020-37268?
CVE-2020-37268 has a CVSS v3 base score of 6.3 (NVD).
How do I remediate CVE-2020-37268?
Patch to the fixed version published by the affected vendor. Where vendor advisories exist for CVE-2020-37268, 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-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.

Start Free Scan →Browse All CVEs