CVE-2020-37268

Exploitation

Not assessed. CISA has not published an exploitation assessment for this record, and it is not in the KEV catalog. That is an absence of assessment, not a finding of no risk.

SSVC decision

Not assessed by CISA

EPSS probability

Not scored by EPSS

EPSS percentile

Not scored by EPSS

NVD base score

The NVD has published no score for this record

NVD CVSS vector

No NVD score to derive

NVD analysis status

Not recorded

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.

Published

2026-08-24 20:08Z49 MIN AGO

Last updated

2026-08-24 20:08Z49 MIN AGO

Reserved

2026-08-19

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-778Insufficient LoggingBase

Data version

5.2

Document digest

5a87077e627740e885dd6535b0965a81ddf145d2941d53de055db6ad373beef1

• github.comhttps://github.com/rocq-prover/rocqproduct
• github.comhttps://github.com/rocq-prover/rocq/issues/12155issue-tracking
• github.comhttps://github.com/rocq-prover/rocq/blob/master/dev/doc/critical-bugs.mdtechnical-description
• github.comhttps://github.com/endrazine/rocq-cve-poc-12155exploit
• www.vulncheck.comVulnCheck Advisory: Coq and Rocq Prover Print Assumptions Omits Unsafe Universe Checking Inlined Through Parameter Inlinehttps://www.vulncheck.com/advisories/coq-and-rocq-prover-print-assumptions-omits-unsafe-universe-checking-inlined-through-parameter-inlinethird-party-advisory