Integer Underflow
整数下溢是无符号整数减法结果小于 0 回绕为大正数，可导致意外的大分配或索引。
用途
分析无符号减法下溢导致的意外行为与安全漏洞。
机制
无符号整数减法若结果为负则回绕为 2^n - |result|，如 0u - 1 = UINT_MAX。若用于长度计算可导致巨分配或缓冲区越界。
用例
- 无符号运算安全
- 长度计算审计
- 边界检查
整数下溢是无符号整数减法结果小于 0 回绕为大正数，可导致意外的大分配或索引。
分析无符号减法下溢导致的意外行为与安全漏洞。
无符号整数减法若结果为负则回绕为 2^n - |result|，如 0u - 1 = UINT_MAX。若用于长度计算可导致巨分配或缓冲区越界。