缺陷信息

缺陷描述

在 isMasked 函数第 1365 行，表达式 uint32_t bit_to_check = (1 << (inRepeatIndex % 64)) 存在有符号整数移位溢出（未定义行为）缺陷。字面量 1 的类型为 int（32 位有符号），当 inRepeatIndex % 64 的结果 >= 32 时，1 << 32 或更大的移位量会导致有符号整数溢出，属于 C/C++ 标准中的未定义行为（UB）。调用方 IterateSrc（第 1388 行）计算 inRepeatIndex = j * blockLen + k，其中 blockCount=8，blockLen = 32/sizeof(T)。对于 half 类型（sizeof=2），blockLen=16，最大 inRepeatIndex = 7*16 + 15 = 127，127 % 64 = 63 >= 32，触发 UB。对于 float 类型（sizeof=4），blockLen=8，最大 inRepeatIndex = 7*8 + 7 = 63，63 % 64 = 63 >= 32，同样触发 UB。该函数通过 GetReduceMaxMinCountImpl → IterateSrc 调用链可达，且 bitwiseMask 为 true 时执行此路径。

事实核查

核查1(模式)：第1365行 uint32_t bit_to_check = (1 << (inRepeatIndex % 64))，字面量1为int(32位有符号)，当inRepeatIndex%64>=32时，1<<N超出有符号int表示范围，属C/C++标准未定义行为(UB)，模式成立。

核查2(防护)：isMasked函数内无任何对inRepeatIndex的范围校验。

核查3(可达)：GetReduceMaxMinCountImpl(line 1472)->IterateSrc(line 1393)->isMasked(line 1363)，函数可达。

核查4(触发)：IterateSrc中inRepeatIndex=j*blockLen+k(line 1388)，blockLen=32/sizeof(T)(line 1379)，blockCount=8(line 1380)。

对float(sizeof=4)blockLen=8，srcBlkStride=1时j=4,k=0得inRepeatIndex=32，32%64=32>=32触发UB；

对half(sizeof=2)blockLen=16，j=2,k=0得inRepeatIndex=32同样触发。

bitwiseMask=true路径(line 1452)为合法功能路径，触发可满足，缺陷确认。

数据流证据

Source（问题源头）

asc-devkit-master/impl/basic_api/dav_l300/kernel_operator_vec_reduce_impl.h:1363 行 uint32_t inRepeatIndex 作为函数 isMasked 的入参传入（无范围约束）

Sink（问题爆发点）

asc-devkit-master/impl/basic_api/dav_l300/kernel_operator_vec_reduce_impl.h:1365 行 uint32_t bit_to_check = (1 << (inRepeatIndex % 64)) 有符号整数移位溢出/UB（当移位量 >= 32）

传播路径：

修复建议

将字面量 1 改为无符号类型以避免有符号移位溢出：
uint32_t bit_to_check = (1u << (inRepeatIndex % 64));