CVE-2026-72703: Software Security Vulnerability Vulnerability

MODERATE
Advisory Identifier: GHSA-q4cf-fp8g-gjg9
Share
CVSS 6.3
CWE-670
Published
Advisory Summary

CVE-2026-72703 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-72703 at a Glance

CVE Identifier CVE-2026-72703
GHSA Identifier GHSA-q4cf-fp8g-gjg9
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-72703

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-72703, 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 treats a parameter of a nested mutual fixpoint as uniform without examining calls between the different bodies of that fixpoint. find_uniform_parameters in kernel/inductive.ml inspects only self-recursive calls, so when no body calls itself the function concludes that every parameter is uniform. A parameter that grows through a cross-call from one body to another therefore keeps the subterm specification it inherited from the enclosing fixpoint, and a recursive call guarded by that specification is accepted although the argument is not structurally smaller. A non-terminating definition is admitted as structurally decreasing, which yields a term whose value equals its own successor and so a proof of False, from which any proposition follows. The proof requires no axioms, plugins or unsafe flags and Print Assumptions reports it as closed under the global context. Introduced in Coq 8.20 and fixed in Rocq 9.2.0.

References

NVD — CVE-2026-72703 NVD
https://nvd.nist.gov/vuln/detail/CVE-2026-72703
Software Source Repository REPOSITORY
https://github.com/rocq-prover/rocq/issues/21682
Software Source Repository REPOSITORY
https://github.com/rocq-prover/rocq/pull/21684
Software Source Repository REPOSITORY
https://github.com/endrazine/rocq-cve-poc-21682
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-non-terminating-fixpoint-via-unchecked-cross-calls

Frequently Asked Questions

What is CVE-2026-72703?
CVE-2026-72703 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-72703?
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-72703?
CVE-2026-72703 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-72703?
CVE-2026-72703 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-72703?
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-q4cf-fp8g-gjg9",
  "modified" : "2026-08-24T21:33:44Z",
  "published" : "2026-08-24T21:33:43Z",
  "aliases" : [ "CVE-2026-72703" ],
  "details" : "The guard checker in Rocq Prover treats a parameter of a nested mutual fixpoint as uniform without examining calls between the different bodies of that fixpoint. find_uniform_parameters in kernel/inductive.ml inspects only self-recursive calls, so when no body calls itself the function concludes that every parameter is uniform. A parameter that grows through a cross-call from one body to another therefore keeps the subterm specification it inherited from the enclosing fixpoint, and a recursive call guarded by that specification is accepted although the argument is not structurally smaller. A non-terminating definition is admitted as structurally decreasing, which yields a term whose value equals its own successor and so a proof of False, from which any proposition follows. The proof requires no axioms, plugins or unsafe flags and Print Assumptions reports it as closed under the global context. Introduced in Coq 8.20 and 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-72703"
  }, {
    "type" : "WEB",
    "url" : "https://github.com/rocq-prover/rocq/issues/21682"
  }, {
    "type" : "WEB",
    "url" : "https://github.com/rocq-prover/rocq/pull/21684"
  }, {
    "type" : "WEB",
    "url" : "https://github.com/endrazine/rocq-cve-poc-21682"
  }, {
    "type" : "WEB",
    "url" : "https://github.com/rocq-prover/rocq"
  }, {
    "type" : "WEB",
    "url" : "https://www.vulncheck.com/advisories/rocq-prover-before-guard-checker-accepts-non-terminating-fixpoint-via-unchecked-cross-calls"
  } ],
  "database_specific" : {
    "cwe_ids" : [ "CWE-670" ],
    "severity" : "MODERATE",
    "github_reviewed" : false,
    "github_reviewed_at" : null,
    "nvd_published_at" : "2026-08-24T20:17:18Z"
  }
}