缺陷信息

缺陷描述

函数 CheckDimension 的参数 scale 和 shift 为可选参数，可为 nullptr（源码注释 line 151 明确说明 scale和shift参数可以为空）。在第 116-117 行的 if 条件中，scale->GetStorageFormat() 和 shift->GetStorageFormat() 被直接调用而无空指针校验。由于 C++ 的短路求值，当 input 和 grad_output 的格式均为 FORMAT_ND（op 定义的默认格式）时，前两个条件为 false，继续求值 scale->GetStorageFormat()，若 scale 为 nullptr 则触发空指针解引用。同一函数后续（line 120, 132）使用 CheckNotNullForScaleAndShift 保护 scale/shift，说明开发者知道可为空但此处遗漏。注意：entry_callchain 指向的是 binary_cross_entropy 文件中的同名模板函数 CheckDimension（静态分析误匹配），实际调用路径为 aclnnModulateBackwardGetWorkspaceSize(line 164) -> CheckParams(line 175) -> CheckDimension(line 159)，在文件内可达。

事实核查

核查1：缺陷模式成立。

第117行 scale->GetStorageFormat() != Format::FORMAT_ND 直接解引用 scale，当 scale 为 nullptr 时空指针解引用；

同理 shift。

核查2：无有效防护，同函数 line 120/132 使用 CheckNotNullForScaleAndShift 保护 scale/shift 的后续解引用，但 line 116-117 的格式检查遗漏。

核查3：函数可达，aclnnModulateBackwardGetWorkspaceSize:175->CheckParams:159->CheckDimension。

核查4：触发可满足——scale/shift 为可选参数可为 nullptr（line 151 注释确认），当 scale=nullptr 且 input 和 grad_output 格式均为 FORMAT_ND（默认格式）时，|| 前两个条件为 false，短路失败继续求值 scale->GetStorageFormat() 触发空指针解引用崩溃

数据流证据

Source（问题源头）

vfusion/modulate_grad/op_host/op_api/aclnn_modulate_backward.cpp:164 行 aclnnModulateBackwardGetWorkspaceSize(const aclTensor* grad_output, const aclTensor* input, const aclTensor* scale, const aclTensor* shift, ...) 接收 scale 和 shift 作为可选参数（可能为 nullptr 的外部输入）

Sink（问题爆发点）

vfusion/modulate_grad/op_host/op_api/aclnn_modulate_backward.cpp:117 行 scale->GetStorageFormat() != Format::FORMAT_ND 直接解引用可能为 nullptr 的 scale（空指针解引用 sink）

传播路径：

调用链

可达调用链1　起点：(entry functions) → 终点：CheckDimension　深度：2

修复建议

static bool CheckDimension(const aclTensor* grad_output, const aclTensor* input, const aclTensor* scale,
                           const aclTensor* shift)
{
    auto gradoutput_Shape = grad_output->GetViewShape();
    //检查Format
    if (input->GetStorageFormat() != Format::FORMAT_ND || grad_output->GetStorageFormat() != Format::FORMAT_ND ||
        (scale != nullptr && scale->GetStorageFormat() != Format::FORMAT_ND) ||
        (shift != nullptr && shift->GetStorageFormat() != Format::FORMAT_ND)) {
        OP_LOGW("Format only support ND");
    }
    // ... rest of function unchanged