Code Correctness: Function Not Invoked

Abstract

因为缺少结尾插入语，该表达式会引用函数指针的值，而不是函数的返回值。

Explanation

该表达式永远不会为 NULL，因为它会引用函数的指针，而不是函数的返回值。

例 1：以下条件永远不会触发。语句 getChunk == NULL 将永远是 false，因为 getChunk 是程序中定义的一个函数名称。


  if (getChunk == NULL)
    return ERR;

References

[1] Standards Mapping - Common Weakness Enumeration CWE ID 398

[2] Standards Mapping - Motor Industry Software Reliability Association (MISRA) C Guidelines 2023 Rule 2.1, Rule 2.2

[3] Standards Mapping - Payment Card Industry Data Security Standard Version 3.0 Requirement 6.5.6

[4] Standards Mapping - Payment Card Industry Data Security Standard Version 3.1 Requirement 6.5.6

[5] Standards Mapping - Payment Card Industry Data Security Standard Version 3.2 Requirement 6.5.6

[6] Standards Mapping - Payment Card Industry Data Security Standard Version 3.2.1 Requirement 6.5.6

[7] Standards Mapping - Payment Card Industry Software Security Framework 1.0 Control Objective 4.2 - Critical Asset Protection

[8] Standards Mapping - Payment Card Industry Software Security Framework 1.1 Control Objective 4.2 - Critical Asset Protection

[9] Standards Mapping - Payment Card Industry Software Security Framework 1.2 Control Objective 4.2 - Critical Asset Protection

[10] Standards Mapping - Security Technical Implementation Guide Version 3.1 APP3050 CAT II

[11] Standards Mapping - Security Technical Implementation Guide Version 3.4 APP3050 CAT II

[12] Standards Mapping - Security Technical Implementation Guide Version 3.5 APP3050 CAT II

[13] Standards Mapping - Security Technical Implementation Guide Version 3.6 APP3050 CAT II

[14] Standards Mapping - Security Technical Implementation Guide Version 3.7 APP3050 CAT II

[15] Standards Mapping - Security Technical Implementation Guide Version 3.9 APP3050 CAT II

[16] Standards Mapping - Security Technical Implementation Guide Version 3.10 APP3050 CAT II

desc.structural.cpp.code_correctness_function_not_invoked