使用OpenSSL内存BIO读写空终止字符串的正确方法及问题排查

在处理OpenSSL内存BIO的时候，不少开发者会遇到一个容易忽略的坑——关于空终止字符串的读写问题，哪怕是照着官方示例写的代码，都可能出现偶发的正确结果，实际上这完全是碰运气。

问题根源 #

很多人参考官方的内存BIO示例实现代码后，发现程序有时候能正常运行，这其实是因为底层内存缓冲区里\n之后的未初始化字符恰好是\000而已。用Valgrind检测的话，就能明确看到未初始化内存访问的警告。

这里要划重点：即便是官方文档描述的场景，BIO_puts也不会向内存BIO写入空终止字符串。这意味着你从内存BIO里拿到的原始数据，是没有\0结尾的，直接把它当成C字符串使用会触发未定义行为。

正确的处理方式 #

要避免这个问题，我们需要显式处理空终止符，分读写两种场景：

写入内存BIO时

如果要确保写入的是带空终止符的字符串，不要只用BIO_puts，可以改用BIO_write，明确传入包含\0的字符串长度：

const char *str = "hello world";
size_t str_len = strlen(str) + 1; // 包含末尾的'\0'
BIO_write(mem_bio, str, str_len);

从内存BIO读取时

如果已经用BIO_puts写入了不含\0的数据，读取时不要直接把BIO的内存指针当C字符串用，应该先获取数据长度，再手动添加终止符：

char *raw_data;
long data_len = BIO_get_mem_data(mem_bio, &raw_data);

// 分配足够的内存并复制数据，手动添加终止符
char *c_str = malloc(data_len + 1);
if (c_str != NULL) {
    memcpy(c_str, raw_data, data_len);
    c_str[data_len] = '\0';
    // 使用c_str...
    free(c_str);
}

总结 #

永远不要依赖内存中未初始化区域的偶然值来充当空终止符，必须显式处理\0的写入或添加，这样才能避免潜在的内存越界、程序崩溃或其他未定义行为。

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