使用 asan 和 strsep() 未检测到泄漏

Question

GCC 8.2.0 未检测到使用-fsanitize=address 编译的以下代码中的泄漏：

#include <string.h>
#include <stdlib.h>
#include <stdio.h>

int main()
{
        char *str1 = "tok1:val2";
        char *str1_dup = strndup(str1, strlen(str1));
        char *str1_dup_head = str1_dup;

        char *tok1 = strsep(&str1_dup, ":");

        // What should be done to avoid the memory leak
        //free(str1_dup_head);
        return 0;
}

但是，在以下情况下会检测到泄漏：

• 用-fsanitize=leak编译
• 用clang -fsanitize=address编译
• 没有保留给strsep() (str1_dup_cpy) 的指针头部的副本时（参见下面的代码）

#include <string.h>
#include <stdlib.h>
#include <stdio.h>

int main()
{
        char *str1 = "tok1:val2";
        char *str1_dup = strndup(str1, strlen(str1));
        //char *str1_dup_head = str1_dup;

        char *tok1 = strsep(&str1_dup, ":");

        // What should be done to avoid the memory leak
        //free(str1_dup_head);
        return 0;
}

知道为什么会出现这种行为吗？是否应该被-fsanitize=address检测到？

Answer 1

LeakSanitizer 在设计上使用了一种非常原始的泄漏检测算法。每当对已分配块的引用碰巧位于堆栈、寄存器或活动堆块的某个位置时，LSan 都会认为它是“可访问的”，因此不会报告泄漏。这使得它对编译器版本、优化选项（即变量是否溢出到堆栈）等非常敏感。我强烈怀疑你遇到了这个限制。