c - 另一个函数返回指针时未检测到空指针取消引用问题

Question

我使用 SonarQube(5.1 和 cppecheck 1.70)来分析 C 代码。在以下示例中，SonarQube 和/或 Cppcheck(由 Sonar 使用)应该检测到空指针取消引用问题。但是 SonarQube 没有发现任何问题，Cppcheck 也没有报告。

struct s1
{ 
    char c1;
    char c2;
};

struct s1 * toto1(void)
{ 
    return NULL;
}

void toto2(void)
{ 
    struct s1* my_st=NULL;
    my_st = toto1();
    my_st->c1 = 1;
    my_st->c2 = 0;
    return;
}

在这种情况下，这条规则是否有任何限制(不应取消引用空指针)？

Answer 1

我是 Cppcheck 开发人员。

我很惊讶 Cppcheck 没有检测到这一点。

我已经在上游创建了这张票: http://trac.cppcheck.net/ticket/7132

谢谢!如果您发现更多假阴性，请告诉我。