缺陷信息

缺陷描述

函数 ConcatInferShapeCommon 中，第一个输入（index=0）的 GetDynamicInputShape 返回值在第26行做了 OP_CHECK_NULL_WITH_CONTEXT 空指针校验，但循环中 subsequent 输入（relative_index>=1）的 GetDynamicInputShape 返回值 input_i_shape 未做空指针校验，第55行 *input_i_shape 和第56行 input_i_shape->IsScalar() 直接解引用。同函数对 index=0 的校验证明该 API 可能返回 nullptr，对 index>=1 缺少校验属于遗漏。

事实核查

经复核源代码确认，ConcatInferShapeCommon 第25-26行对 GetDynamicInputShape(dynamic_input_idx, 0) 返回值做了 OP_CHECK_NULL_WITH_CONTEXT 校验，但第52-53行循环中 GetDynamicInputShape(dynamic_input_idx, relative_index)（relative_index>=1）的返回值 input_i_shape 完全无空指针校验。

第55行 *input_i_shape 和第56行 input_i_shape->IsScalar() 直接解引用，若该指针为 nullptr 将导致空指针解引用崩溃。

同函数自身对 index=0 的校验已经证明该API可能返回nullptr，对 index>=1 缺少校验属于明确的校验遗漏。

调用链从 InferShape4ConcatD 和 InferShape4Concat 可达，缺陷真实存在。

数据流证据

Source（问题源头）

conversion/concat/op_host/concat_infershape.cpp:53 行 const gert::Shape* input_i_shape = context->GetDynamicInputShape(dynamic_input_idx, relative_index); 获取动态输入形状指针（可能为 nullptr）

Sink（问题爆发点）

conversion/concat/op_host/concat_infershape.cpp:56 行 input_i_shape->IsScalar() 解引用可能为 nullptr 的指针（空指针解引用 sink）

传播路径：

调用链

可达调用链1　起点：(entry functions) → 终点：ops::ConcatInferShapeCommon　深度：1

可达调用链2　起点：(entry functions) → 终点：ops::ConcatInferShapeCommon　深度：2

修复建议

const gert::Shape* input_i_shape = context->GetDynamicInputShape(dynamic_input_idx, relative_index);
OP_CHECK_NULL_WITH_CONTEXT(context, input_i_shape);