UNKNOWN OSS-Security
CVE-2026-72705
CVE-2026-72705: Rocq guard checker accepts fixpoint passed as higher-order argument (0 = 1 demonstrated)
CVE-2026-72705: Rocq guard checker accepts fixpoint passed as
higher-order argument (0 = 1 demonstrated)
Affected Products
- CVE-2026-72705
References
This unknown severity vulnerability was published on 2026-10-26 via OSS-Security. Affected: CVE-2026-72705.
vulnfeed aggregates 17053 vulnerabilities from NVD, CISA KEV,
Ubuntu, Debian, Red Hat, Kubernetes, Exploit-DB, OSS-Security, GitHub and OpenStack — updated every 4 hours.