UNKNOWN OSS-Security

CVE-2026-72703

CVE-2026-72703: Rocq guard checker accepts non-terminating fixpoint via unchecked cross-calls (0 = 1 demonstrated)

Affected Products

CVE-2026-72703

References

https://www.openwall.com/lists/oss-security/2026/10/26/4

Published: 2026-10-26 · Source: OSS-Security · Feed updated: 2026-10-26

This unknown severity vulnerability was published on 2026-10-26 via OSS-Security. Affected: CVE-2026-72703.

vulnfeed aggregates 17053 vulnerabilities from NVD, CISA KEV, Ubuntu, Debian, Red Hat, Kubernetes, Exploit-DB, OSS-Security, GitHub and OpenStack — updated every 4 hours.