测试类型

安全

测试版本

7.0.0LTS

问题描述

pg_basebackup 等工具在释放数据库口令前会调用 ClearAndFreePasswd() 清零内存。当前代码使用 sizeof(dbpassword) 作为长度，但 dbpassword 是指针，所以 64 位进程中结果始终是 8，而不是口令的真实长度。

使用 32 字节测试口令时，释放前只有前 8 字节被清零，后 24 字节仍保留原内容。

操作系统和硬件信息

Ubuntu 22.04.5 LTS，x86_64，指针宽度 8 字节。

测试环境

企业版单机

被测功能

本次只运行独立 C++ 最小测试。测试程序在释放前检查自己的合成口令缓冲区，不读取其他进程。
pg_basebackup、pg_receivexlog 和 pg_recvlogical 共用的口令内存清理函数。

预置条件

安装支持 C++17 的 g++，并将附件 poc.cc 保存到当前目录。

操作步骤

g++ -std=gnu++17 -O0 -g poc.cc -o poc
./poc full-wipe-control
./poc current-trigger

预期输出

释放口令前应清零整个缓冲区。32 字节测试口令的残留字节数应为 0。

实际输出

完整清零对照：

RESIDUAL=0 POINTER_SIZE=8

当前函数：

RESIDUAL=24 POINTER_SIZE=8

日志信息

相关代码：

• src/bin/pg_basebackup/streamutil.cpp:37,120-127,217-231
• src/bin/pg_basebackup/pg_basebackup.cpp:1419,2188
• src/bin/pg_basebackup/pg_receivexlog.cpp:225
• src/bin/pg_basebackup/pg_recvlogical.cpp:326,969

提单组织

社区用户

测试代码

#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <string>

using errno_t = int;
char *dbpassword = nullptr;
static unsigned char observed[33];
static constexpr std::size_t observed_size = 32;

static errno_t memset_s(void *dest, std::size_t dest_max, int value, std::size_t count)
{
    if (dest == nullptr || count > dest_max) return 1;
    std::memset(dest, value, count);
    return 0;
}

static void tracked_free(void *ptr)
{
    std::memcpy(observed, ptr, observed_size);
    std::free(ptr);
}

static void current_clear_and_free()
{
    if (dbpassword != nullptr) {
        if (memset_s(dbpassword, sizeof(dbpassword), 0, sizeof(dbpassword)) != 0) std::abort();
        tracked_free(dbpassword);
        dbpassword = nullptr;
    }
}

static void correct_clear_and_free()
{
    if (dbpassword != nullptr) {
        const std::size_t length = std::strlen(dbpassword);
        if (memset_s(dbpassword, length + 1, 0, length + 1) != 0) std::abort();
        tracked_free(dbpassword);
        dbpassword = nullptr;
    }
}

int main(int argc, char **argv)
{
    if (argc != 2) return 2;
    dbpassword = ::strdup("0123456789abcdefghijklmnopqrstuv");
    if (dbpassword == nullptr || std::strlen(dbpassword) != observed_size) return 3;
    const std::string mode(argv[1]);
    if (mode == "current-trigger") current_clear_and_free();
    else if (mode == "full-wipe-control") correct_clear_and_free();
    else return 2;
    std::size_t residual = 0;
    for (unsigned char value : observed) residual += value != 0;
    std::printf("RESIDUAL=%zu POINTER_SIZE=%zu\n", residual, sizeof(dbpassword));
    if (mode == "current-trigger")
        return residual == observed_size - sizeof(dbpassword) ? 0 : 4;
    return residual == 0 ? 0 : 4;
}