Fixes eclipse-threadx#702 Cause: User-mode module threads operate with two separate stacks: an unprivileged user stack and a privileged kernel stack allocated by the module manager. When a module thread enters the kernel, the scheduler swaps execution over to the kernel stack. Previously, TX_ENABLE_STACK_CHECKING only tracked tx_thread_stack_highest_ptr against the active stack without distinguishing between user and kernel mode. This caused cross-stack pointer corruption, false positive stack overflow detections upon returning to user mode, and potential out-of-bounds reads when highest_ptr equaled stack_start. Additionally, kernel stack creation did not reserve a guard word at the end outside the usable stack boundary, and MISRA-C mode stack check wrappers bypassed kernel stack verification entirely. Fix: - Added tx_thread_module_kernel_stack_highest_ptr alias mapping to tx_thread_module_reserved to track kernel stack usage independently without increasing control block size. - Reserved an aligned guard word at tx_thread_module_kernel_stack_end outside usable stack space in txm_module_manager_thread_create. - Updated TX_THREAD_STACK_CHECK (both standard and MISRA-C implementations) to select between kernel and user stacks based on current execution mode, supporting targets with TXM_MODULE_KERNEL_STACK_MAINTENANCE_DISABLE, and guarded against buffer under-reads when highest_ptr equals stack_start. - Updated _tx_thread_stack_analyze to track execution stack state across interrupt restores and prevent cross-stack address comparisons during binary search. - Added host unit test suite covering user mode, kernel mode, stack switching, guard corruption detection, overflow detection, maintenance-disabled mode, and boundary conditions. Test result: Module manager test suite passed all 10 unit tests (including 18 assertions in threadx_module_manager_thread_stack_checking_test) cleanly with zero errors and zero warnings. Signed-off-by: Tisya-Gupta <tisyagupta793@gmail.com>

Commits

Commits on Oct 23, 2026

Added support for TX_ENABLE_STACK_CHECKING in module threads