CVE-2026-72705: Software Security Vulnerability Vulnerability

MODERATE
Advisory Identifier: GHSA-f4rc-7978-q94g
Share
CVSS 6.3
CWE-670
Published
Advisory Summary

CVE-2026-72705 is a MODERATE (CVSS 6.3) security vulnerability vulnerability (CWE-670: Always-Incorrect Control Flow Implementation) affecting Software libraries in the Maven ecosystem. The weakness occurs when the code contains a control flow path that does not reflect the algorithm that the path is intended to implement, leading to incorrect behavior any time this path is navigated.. Remediation is available in the latest vendor maintenance releases.

CVE-2026-72705 at a Glance

CVE Identifier CVE-2026-72705
GHSA Identifier GHSA-f4rc-7978-q94g
Severity MODERATE
CVSS v3.1 Base Score 6.3
CWE Classification CWE-670: Always-Incorrect Control Flow Implementation
Affected Product Software
Package Ecosystem Maven
Published Date
Last Updated

Security Impact

CVSS: 6.3

The security impact metrics below are parsed directly from the CVSS v3.1 vector string (CVSS:3.1/AV:L/AC:L/PR:N/UI:R/S:C/C:N/I:H/A:N).

Attack Vector Local (AV:L)
Attack Complexity Low (AC:L)
Privileges Required None (PR:N)
User Interaction Required (UI:R)
Scope Changed (S:C)
Confidentiality None (C:N)
Integrity High (I:H)
Availability None (A:N)

How to Fix CVE-2026-72705

To remediate this vulnerability, upgrade all affected Software dependencies to a patched release. Both direct and transitive dependencies should be checked, as frameworks or security libraries may pull in vulnerable versions transitively.

Verify Direct and Transitive Dependencies

Run the following command in your project directory to verify that all resolved dependencies use the patched release: 

mvn dependency:tree

How to Check if You Are Affected

To determine whether your Java application is affected by CVE-2026-72705, inspect your build dependencies using the Maven Dependency Plugin:

mvn dependency:tree

Analyze the terminal output to locate any version of Software in your dependency tree. If any resolved version matches the vulnerable ranges listed in the table below (for example, versions earlier than the patched release), your application is affected.

Note: The mvn dependency:tree command inspects the resolved dependency graph declared in your project's POM files; it does not perform automated security scanning or inspect runtime dynamic classpaths. Always verify runtime container classpaths and shaded JARs.

Technical Details

Vulnerability Mechanism & Technical Analysis

This vulnerability is classified under CWE-670: Always-Incorrect Control Flow Implementation, where the code contains a control flow path that does not reflect the algorithm that the path is intended to implement, leading to incorrect behavior any time this path is navigated. In Software, software state validation or input boundaries are circumvented during processing. Review the official source advisory statement below for specific affected components, classes, and reproduction details.

Source Advisory Statement

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.

References

NVD — CVE-2026-72705 NVD
https://nvd.nist.gov/vuln/detail/CVE-2026-72705
Software Source Repository REPOSITORY
https://github.com/rocq-prover/rocq/issues/21683
Software Source Repository REPOSITORY
https://github.com/rocq-prover/rocq/pull/21684
Software Source Repository REPOSITORY
https://github.com/endrazine/rocq-cve-poc-21683
Software Source Repository REPOSITORY
https://github.com/rocq-prover/rocq
www.vulncheck.com/advisories/rocq-pro... WEB
https://www.vulncheck.com/advisories/rocq-prover-before-guard-checker-accepts-fixpoint-passed-as-a-higher-order-argument

Frequently Asked Questions

What is CVE-2026-72705?
CVE-2026-72705 is a security vulnerability in Software classified as a security vulnerability vulnerability under CWE-670: Always-Incorrect Control Flow Implementation.
Which Software versions are affected?
Affected versions include releases prior to current release patches.
What version fixes CVE-2026-72705?
Upgrading to current release patches (or the latest patched release for your respective branch) resolves the vulnerability.
What is the CVSS score of CVE-2026-72705?
CVE-2026-72705 has a CVSS v3.1 base score of 6.3 (MODERATE) with vector string CVSS:3.1/AV:L/AC:L/PR:N/UI:R/S:C/C:N/I:H/A:N.
What CWE is associated with CVE-2026-72705?
CVE-2026-72705 is classified under CWE-670: Always-Incorrect Control Flow Implementation (The code contains a control flow path that does not reflect the algorithm that the path is intended to implement, leading to incorrect behavior any time this path is navigated.).
How can I check Maven dependencies for CVE-2026-72705?
Run the dependency tree command: 'mvn dependency:tree'. This command lists direct and transitive dependencies in your build configuration so you can verify if a vulnerable version is resolved.
Machine-readable OSV JSON OSV v1.5 Schema
Normalized schema output
View Raw JSON 
{
  "schema_version" : "1.4.0",
  "id" : "GHSA-f4rc-7978-q94g",
  "modified" : "2026-08-24T21:33:44Z",
  "published" : "2026-08-24T21:33:44Z",
  "aliases" : [ "CVE-2026-72705" ],
  "details" : "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.",
  "severity" : [ {
    "type" : "CVSS_V3",
    "score" : "CVSS:3.1/AV:L/AC:L/PR:N/UI:R/S:C/C:N/I:H/A:N"
  }, {
    "type" : "CVSS_V4",
    "score" : "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"
  } ],
  "affected" : [ ],
  "references" : [ {
    "type" : "ADVISORY",
    "url" : "https://nvd.nist.gov/vuln/detail/CVE-2026-72705"
  }, {
    "type" : "WEB",
    "url" : "https://github.com/rocq-prover/rocq/issues/21683"
  }, {
    "type" : "WEB",
    "url" : "https://github.com/rocq-prover/rocq/pull/21684"
  }, {
    "type" : "WEB",
    "url" : "https://github.com/endrazine/rocq-cve-poc-21683"
  }, {
    "type" : "WEB",
    "url" : "https://github.com/rocq-prover/rocq"
  }, {
    "type" : "WEB",
    "url" : "https://www.vulncheck.com/advisories/rocq-prover-before-guard-checker-accepts-fixpoint-passed-as-a-higher-order-argument"
  } ],
  "database_specific" : {
    "cwe_ids" : [ "CWE-670" ],
    "severity" : "MODERATE",
    "github_reviewed" : false,
    "github_reviewed_at" : null,
    "nvd_published_at" : "2026-08-24T20:17:18Z"
  }
}