仅在打开编译器优化的情况下某些地方的缓冲区溢出

Question

所以我遇到了一个问题，即某段代码给了我这个错误*** BUFFER OVERFLOW DETECTED ***。这只是在我打开某些编译器优化选项后才开始发生（这不是我的程序，所以我必须使用这些）。我已经把它缩小到它是哪个选项。我还找到了一种阻止缓冲区溢出的方法，但是，我在程序的另一部分有非常相似的代码，当我保持原样时，不会给我同样的错误。这让我对我的修复感到非常困惑和非常不自信，因此我们将不胜感激。

这里是来自makefile的优化选项

CXXFLAGS+=-Os -O2 -fomit-frame-pointer 
CXXFLAGS+=-fno-aggressive-loop-optimizations

我已将其范围缩小到开始导致错误的 -O2 标志。

仅当指定了-O2 标志时，此函数在realpath() 处的缓冲区溢出时失败

static std::string getRealTargetPath (std::string baseTarget)
    {
    char nextTargetLink[MAXPATHLEN];
    memset (nextTargetLink, 0, MAXPATHLEN);

    if (realpath (baseTarget.c_str(), nextTargetLink) == NULL)
        return "";
    else
       //etc...
    }

如果我将MAXPATHLEN(size 1024) 更改为PATH_MAX(size 4096)，上述函数将按预期运行。好，可以。但是，在使用 same std::string baseTarget 和以前一样之后，下面的 sn-p 代码执行了大约 20 行。

char realLinkPath[MAXPATHLEN];
memset (realLinkPath, 0, MAXPATHLEN);

do
    {         
    if (realpath (linkPath.c_str(), realLinkPath) != NULL)
        if (strcmp(linkPath.c_str(), realLinkPath) != 0)
            return true;

    size_t eraseFrom = linkPath.rfind('/');
    if (std::string::npos != eraseFrom)
        linkPath.erase(eraseFrom);
    } while ( !linkPath.empty() );

总而言之，即使这两个 realpath 函数使用相同的 const char* path 变量，如果缓冲区不是 PATH_MAX 长度，第一个将失败，但第二个不会，这一切都只发生在 @987654335为编译指定 @ 标志。

任何帮助将不胜感激，谢谢。

编辑：正如用户指出的那样，我也将其标记为 C，因为该程序非常旧，核心是用 C 编写的 许多C++ 功能

Answer 1

嗯，第二部分有不同的输入，所以它运行得很好偶然。 realpath() 是一个非常糟糕的功能，即使是 manpage 也指出（参见 BUGS）。

您可以做的最好的事情是重新编写代码，以便使用 null 指针作为第二个参数调用 realpath，并注意您返回的分配缓冲区是 free()d 正确

Answer 2

realpath 的手册页指定resolved_path 的长度必须至少为 PATH_MAX。如果realpath 的结果是一个长度超过1024 字节的字符串，并且您的缓冲区不够大，那么您正在调用undefined behavior。这意味着崩溃可能（如第一种情况）或可能不会（如第二种情况）发生。