{"id":"CVE-2026-94202","published":"2026-10-20T16:17:18.153","lastModified":"2026-10-20T19:48:50.250","description":"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`.","cvssScore":null,"cvssSeverity":null,"cvssVector":null,"cwes":["CWE-125"],"vendors":[],"products":[],"references":[{"url":"https://github.com/eclipse-threadx/threadx/security/advisories/GHSA-5w57-xhwq-v7wq","tags":[]}],"exploitRefs":[{"url":"https://github.com/eclipse-threadx/threadx/security/advisories/GHSA-5w57-xhwq-v7wq","tags":[]}],"hasPoc":true,"ai":null}