CVE-2020-37268

Exploitation

Public exploit code exists. CISA's assessment records a public proof of concept. That is not a report of exploitation in the wild.

SSVC decision

• ExploitationpocPublic proof-of-concept exploit code exists. Not a report of exploitation in the wild.
• AutomatablenoAt least one step from reconnaissance to exploitation cannot be reliably automated.
• Technical ImpactpartialSuccessful exploitation gives limited control of the vulnerable component.

CISA publishes the decision points, not a final SSVC decision. The decision also depends on mission and well-being impact, which is a property of your deployment rather than of the vulnerability.

EPSS probability

0.17% probability of exploitation activity in the next 30 days.

EPSS percentile

Equal to or higher than the score of 7.0% of scored records. A rank, not a probability.

NVD base score

6.8 (CVSS v4.0), scored by the NVD independently of the CNA.

NVD 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/E:X/CR:X/IR:X/AR:X/MAV:X/MAC:X/MAT:X/MPR:X/MUI:X/MVC:X/MVI:X/MVA:X/MSC:X/MSI:X/MSA:X/S:X/AU:X/R:X/V:X/RE:X/U:X

NVD analysis status

Deferred. NVD last modified this record on 2026-10-26.

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:08Z2 MO AGO

Last updated

2026-10-26 01:23Z3 DAYS 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

0a4f270ffde8102342fefd1236807f05cfb8090b750b4e35c30b0f93c20bb283

• 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
• www.openwall.comhttp://www.openwall.com/lists/oss-security/2026/10/26/8