c - 如何检查 C 源文件是否缺少返回错误检查？

Question

假设你有这样一段代码:

int* a = (int*) malloc(20);
a[3]=2;
pid_t q = fork();
if(!q) {
    char *a[5];
    for (q=4; ;--q) {
        if(q<0) break;
        a[q]="q";
    }
    execve("q", a, NULL);
}
if(q) kill(q, 9);
free(a);

它使用 gcc -Wall、clang -Wall 构建时没有任何警告，使用 cppcheck --enable=all 时不发出警告。

Hovewer 忽略了对 malloc、fork 和 execve 的错误返回值的检查，这显然会导致问题。如何静态检查 C 源代码是否存在此类错误？

Answer 1

如果找不到专门的解决方案，我会转向 find 和 grep 来搜索对 malloc 的每个调用，以及您认为重要的任何其他函数以检查返回的值(value)。我会一次检查每一个，然后用我的眼睛快速扫描结果。

find . -type f -name '*.[ch]*' -exec grep -HnA2 'malloc' {}  \; 

如果您怀疑超过两行的尾随上下文更适合捕获返回值测试，请将传递给 grep 的 A2 增加到 A3。