缺陷信息

缺陷描述

aclnnLogdetGetWorkspaceSize 中，LogMatrixDeterminant 返回 tuple 的第一个元素 signValue 未做空指针校验即在第 165 行传入 l0op::Log(signValue, ...)，而 Log 函数会解引用 signValue（self->GetViewShape()）。同函数第 169 行对第二个元素 logValue 做了 CHECK_RET(logValue != nullptr, ...) 校验，但该校验位于 signValue 使用之后，无法保护 signValue。若 LogMatrixDeterminant 返回 tuple(nullptr, nullptr)（AllocTensor 失败或 ADD_TO_LAUNCHER_LIST_AICPU 失败时），signValue 在第 165 行被 l0op::Log 解引用时将崩溃。对比 aclnn_slogdet.cpp 第 162-165 行对 signValue 和 logValue 均做了 nullptr 校验。

事实核查

经复核 aclnn_logdet.cpp:160-165 行，LogMatrixDeterminant 返回 tuple 后 signValue 在第161行提取，第165行直接传入 l0op::Log() 而无 nullptr 校验。

Log 函数内部（log.cpp:62-65）会对 self 调用 GetViewShape() 解引用，若 signValue 为 nullptr 将崩溃。

LogMatrixDeterminant 函数（log_matrix_determinant.cpp:54-55）确实在 AllocTensor 失败时返回 tuple(nullptr, nullptr)。

对比 aclnn_slogdet.cpp:162-165 对 signValue 和 logValue 均有 CHECK_RET 校验，此处 signValue 校验确实遗漏。

第169行的 logValue 校验位于 signValue 使用之后，无法保护前者。

缺陷真实存在。

数据流证据

Source（问题源头）

math/logdet/op_host/op_api/aclnn_logdet.cpp:160 行 auto logMatrixDeterminantOut = l0op::LogMatrixDeterminant(selfReshapeOut, uniqueExecutor.get()) LogMatrixDeterminant 在内部 AllocTensor 失败时返回 tuple(nullptr, nullptr)

Sink（问题爆发点）

math/logdet/op_host/op_api/aclnn_logdet.cpp:165 行 auto offset = l0op::Log(signValue, ...) Log 函数内部 self->GetViewShape() 解引用 signValue（nullptr 解引用 sink）

传播路径：

修复建议

auto signValue = std::get<0>(logMatrixDeterminantOut);
CHECK_RET(signValue != nullptr, ACLNN_ERR_INNER_NULLPTR);
auto offset = l0op::Log(signValue, LOG_BASE, LOG_SCALE, LOG_SHIFT, uniqueExecutor.get());