如何让AddressSanitizer报告调用_exit终止的子进程问题

问题描述 #

我开发了一个会fork子进程但从不调用exec类函数的程序，这是设计需求。但发现当子进程通过_exit()终止时，AddressSanitizer（ASan）不会报告任何检测到的问题，哪怕问题很明显。

我了解对于未调用exec的子进程，调用_exit或_Exit是正确的终止方式，但如果改用return或exit，ASan就能报告子进程中的所有问题。

请问有没有办法让ASan在使用_exit时也报告问题？这种行为是否符合预期？

测试代码 #

// file: main.cpp

#include <cstdio>
#include <cstdlib>
#include <iostream>

#include <unistd.h>
#include <sys/wait.h>

int main()
{
    const auto pid = fork();

    if (pid > 0) {
        std::cout << "parent: " << getpid() << '\n';
        int status;
        wait(&status);
    }
    else if (pid == 0) {
        std::cout << "child: " << getpid() << '\n';
        auto* p = new int;
        p = nullptr;

        _exit(0);   // No ASan output.
        //_Exit(0); // No ASan output.
        //exit(0);  // ASan reports leaks.
    }
    else {
        std::perror("fork");
    }

    return 0;
}

环境信息 #

• 平台：Ubuntu 20.04
• 编译器：Clang 13.0.0（源码编译）
• 编译命令：

clang++ -std=c++20 -g -O0 -fsanitize=address -fno-omit-frame-pointer main.cpp

我未在ASan文档中找到相关解决方案。

解答 #

行为是否符合预期？ #

这种行为是符合ASan设计预期的。核心原因在于：

• exit()属于C标准库的终止函数，会触发完整的用户态清理流程：调用全局对象析构函数、执行atexit注册的回调，而ASan的问题报告逻辑（如内存泄漏检测）正是嵌入在这些清理步骤中。
• _exit()/_Exit()是系统级的直接终止调用，会跳过所有用户态的清理逻辑，直接向内核请求终止进程。这导致ASan没有机会在子进程终止前收集、输出检测到的问题。

让ASan在_exit()时报告问题的方案 #

1. 手动调用ASan检测函数

在子进程调用_exit()之前，显式调用ASan的内部检测函数，强制触发问题报告。例如针对内存泄漏可以调用__asan_report_leaks()，修改后的子进程代码如下：

else if (pid == 0) {
    std::cout << "child: " << getpid() << '\n';
    auto* p = new int;
    p = nullptr;

    __asan_report_leaks(); // 手动触发内存泄漏检测
    _exit(0);
}

注意：这类函数属于ASan的内部接口，不同编译器版本可能存在差异，需确保与当前ASan版本兼容。

2. 注册终止回调函数

使用ASan提供的__sanitizer_set_death_callback接口，注册一个自定义回调，让进程在终止时自动执行ASan检测。示例代码如下：

#include <cstdio>
#include <cstdlib>
#include <iostream>
#include <sanitizer/asan_interface.h> // 引入ASan接口头文件

#include <unistd.h>
#include <sys/wait.h>

// 自定义终止回调：触发ASan泄漏检测
void asan_termination_callback() {
    __asan_report_leaks();
}

int main()
{
    __sanitizer_set_death_callback(asan_termination_callback); // 注册回调

    const auto pid = fork();

    if (pid > 0) {
        std::cout << "parent: " << getpid() << '\n';
        int status;
        wait(&status);
    }
    else if (pid == 0) {
        std::cout << "child: " << getpid() << '\n';
        auto* p = new int;
        p = nullptr;

        _exit(0); // 现在会触发回调，输出泄漏报告
    }
    else {
        std::perror("fork");
    }

    return 0;
}

这种方式更通用，能覆盖所有进程终止场景（包括_exit()、异常崩溃等），只要进程终止就会自动执行检测逻辑。

内容的提问来源于stack exchange，提问作者Kory