CVE-2026-72705
6.3 · MEDIUMOverview
CVE-2026-72705 is a medium-severity vulnerability. It was published on August 24, 2026 and has a CVSS 3.1 base score of 6.3 (MEDIUM).
This vulnerability has a CVSS 3.1 base score of 6.3, rated MEDIUM. It requires local or adjacent network access to exploit. No authentication or special privileges are required for exploitation.
Technical Description
The guard checker in Rocq Prover does not follow recursive calls made through a fixpoint's own arguments. A fixpoint may pass itself as a higher-order argument to a second fixpoint, which then applies it to a value that is not a subterm of the structural argument. Passing the recursive function to a plain definition is rejected because the checker unfolds the definition and observes the call, but passing it to a fixpoint is accepted because higher-order recursive calls through fixpoint arguments are not tracked. This admits a type that is definitionally equal to its own negation, so self-application produces False in purely definitional code, without tactics, axioms, plugins or unsafe flags, and Print Assumptions reports the result as closed under the global context. Fixed in Rocq 9.2.0.
Remediation
Check the references section for vendor advisories, patches, and mitigation guidance. If immediate patching is not possible, review the CVSS vector to understand the attack surface and apply compensating controls such as network segmentation or access restrictions.
References
Frequently Asked Questions
What is CVE-2026-72705?
CVE-2026-72705 is a medium-severity vulnerability. It was published on August 24, 2026 and has a CVSS 3.1 base score of 6.3 (MEDIUM).
How severe is CVE-2026-72705?
This vulnerability has a CVSS 3.1 base score of 6.3, rated MEDIUM. It requires local or adjacent network access to exploit. No authentication or special privileges are required for exploitation.
How do I fix or remediate CVE-2026-72705?
Check the references section for vendor advisories, patches, and mitigation guidance. If immediate patching is not possible, review the CVSS vector to understand the attack surface and apply compensating controls such as network segmentation or access restrictions.
How can CyberStrike help with CVE-2026-72705?
CyberStrike's AI-powered security agents can automatically detect CVE-2026-72705 across your infrastructure using autonomous pentesting, DAST scanning, and HackBrowser. The platform continuously monitors for known vulnerabilities and provides actionable remediation guidance prioritized by real-world exploitability.
How CyberStrike Helps
AI agents map your attack surface to find vulnerabilities like this one.
Automated penetration testing that runs continuously, not just quarterly.
AI-driven PR review catches vulnerable dependencies before they ship.
Browser-based exploitation validates findings with real proof-of-concept.
Related MEDIUM CVEs from 2026
View all →Discourse is an open source discussion platform. In versions prior to 3.5.4, 2025.11.2, 2025.12.1, a
In libexpat before 2.7.4, the doContent function does not properly determine the buffer size bufSize
Buffer overflow vulnerability in the HDC module. Impact: Successful exploitation of this vulnerabili
ImageMagick is free and open-source software used for editing and manipulating digital images. Prior
A improper certificate validation vulnerability in Fortinet FortiAnalyzer 7.6.0 through 7.6.4, Forti
OpenClaw versions prior to 2026.3.1 fail to properly handle authentication bootstrap errors during s
File Browser is a file managing interface for uploading, deleting, previewing, renaming, and editing
Vulnerability of improper permission control in the theme setting module. Impact: Successful exploit
Access of resource using incompatible type ('type confusion') vulnerability in Samsung Open Source E
A flaw was found in Keycloak, specifically in the organization selection login page. A remote attack
Serendipity is a PHP-powered weblog engine. In versions 2.6-beta2 and below, the serendipity_setCoo
In iTerm2 through 3.6.9, displaying a .txt file can cause code execution via DCS 2000p and OSC 135 d