uC/OS-II内核调度漏洞解析与防御实践

1. 项目概述：uC/OS-II内核调度漏洞解析

在嵌入式实时操作系统领域，uC/OS-II因其精简可靠的特点被广泛应用于工业控制、汽车电子等领域。最近在安全审计中发现，其任务调度机制存在一个关键漏洞组合——当OSIntExit()与OS_Sched()函数被特定序列调用时，可能导致系统状态异常。这个发现源于我们在车载ECU固件逆向工程中的实际案例：某型号发动机控制器在CAN总线风暴测试时，出现了概率性的看门狗复位现象。

2. 漏洞形成机理深度分析

2.1 调度器运作原理解析

uC/OS-II采用优先级位图算法进行任务调度，其核心是通过OSRdyGrp和OSRdyTbl这两个变量实现O(1)时间复杂度的调度决策。在中断服务程序(ISR)中，系统会通过OSIntExit()自动触发调度，而普通任务中则显式调用OS_Sched()。这两个函数看似独立，实则共享相同的底层状态机：

c复制void OSIntExit (void) {
    if (OSRunning == TRUE) {
        OS_ENTER_CRITICAL();
        if (OSIntNesting > 0) {
            OSIntNesting--;
        }
        if (OSIntNesting == 0) {
            if (OSLockNesting == 0) {
                OS_SchedNew();
                if (OSPrioHighRdy != OSPrioCur) {
                    OSTCBHighRdy = OSTCBPrioTbl[OSPrioHighRdy];
                    OSCtxSwCtr++;
                    OSIntCtxSw();
                }
            }
        }
        OS_EXIT_CRITICAL();
    }
}

2.2 竞态条件触发路径

漏洞产生的关键在于以下时序：

1. 高优先级任务A通过OSSemPost()释放信号量
2. 中断到来，