{
  "affected": [
    {
      "ranges": [
        {
          "database_specific": {
            "extracted_events": [
              {
                "range": [
                  {
                    "introduced": "6.0.1"
                  },
                  {
                    "last_affected": "6.5.1.202602a"
                  }
                ],
                "source": "AFFECTED_FIELD",
                "strategy": "StandardRange"
              }
            ]
          },
          "events": [
            {
              "introduced": "6a018a4cfda937c0d8cbdee761187c5c5843e115"
            },
            {
              "last_affected": "b91b03b9e75fa523b17127f9e0eca09dca916459"
            }
          ],
          "repo": "https://github.com/eclipse-threadx/threadx",
          "type": "GIT"
        }
      ]
    }
  ],
  "aliases": [
    "GHSA-5w57-xhwq-v7wq"
  ],
  "database_specific": {
    "cna_assigner": "eclipse",
    "cwe_ids": [
      "CWE-125"
    ],
    "osv_generated_from": "https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/94xxx/CVE-2026-94202.json"
  },
  "details": "The Module Manager's block-pool create dispatcher proved that two `ALIGN_TYPE` words of the extra-parameter array a memory-protected module supplies lay inside the module's data, and then used indices 0 through 3 of that array.\n\n\n\nOne of the two unproved words is read by the dispatcher's own buffer check, which takes index 1 as the pool start and index 2 as the length to range-check it over. So the out-of-bounds read is performed by the validation code itself, before the kernel service is reached, and the size the caller's pool start is then validated against is a word the manager has not proved the module owns. The other unproved word is read when the service's argument list is built.\n\n\n\nVulnerable function: `_txm_module_manager_tx_block_pool_create_dispatch`, in `common_modules/module_manager/inc/txm_module_manager_dispatch.h`.",
  "id": "CVE-2026-94202",
  "modified": "2026-10-21T02:31:00.149041407Z",
  "published": "2026-10-20T15:19:43.014Z",
  "references": [
    {
      "type": "ADVISORY",
      "url": "https://github.com/CVEProject/cvelistV5/tree/main/cves/2026/94xxx/CVE-2026-94202.json"
    },
    {
      "type": "ADVISORY",
      "url": "https://github.com/eclipse-threadx/threadx/security/advisories/GHSA-5w57-xhwq-v7wq"
    },
    {
      "type": "ADVISORY",
      "url": "https://nvd.nist.gov/vuln/detail/CVE-2026-94202"
    }
  ],
  "schema_version": "1.9.0",
  "severity": [
    {
      "score": "CVSS:4.0/AV:L/AC:L/AT:N/PR:L/UI:N/VC:L/VI:N/VA:L/SC:N/SI:N/SA:N",
      "type": "CVSS_V4"
    }
  ],
  "summary": "Module block-pool create validates two of the four parameter words it reads"
}