linux strcpy/strncpy/sprintf内存溢出问题-Toy模板网

这篇具有很好参考价值的文章主要介绍了linux strcpy/strncpy/sprintf内存溢出问题。希望对大家有所帮助。如果存在错误或未考虑完全的地方，请大家不吝赐教，您也可以点击"举报违法"按钮提交疑问。

本文主要介绍strcpy/strncpy/sprintf都是不安全的，可能存在内存溢出的问题。下来进行实例分析。

strcpy代码：

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

void test_func(char *str)
{
    bool flag = false;
    char buffer[5];

    memset(buffer, 0, 5);
    strcpy(buffer, str);
    if(strcmp("1234", buffer) == 0)
    {
        printf("buffer is 1234\n");
        flag = true;
    }
    if(flag)
    {
        printf("flag is true\n");
    }
    else
    {
        printf("flag is false\n");
    }
}
int main()
{
    test_func("45678912");
    return 0;
}

运行结果：

flag is false
*** stack smashing detected ***: <unknown> terminated
Aborted (core dumped)

这是因为数组较小，产生了越界。以上是linux gcc编译的。可能其他编译器会遇到打印是flag is true的场景，为什么会变成true呢；

strcpy代码内存溢出原因分析：

strcpy这个函数，字符串溢出了，代码中有两个局部变量，flag(bool类型)，buffer(字符数组)，局部变量是存放在栈空间的，并且栈上的空间是从高地址向低地址生长的，所以定义的过程类似于压栈，先压进去的flag存放在高地址，buffer存放在了低地址。当调用strcpy的时候，由于buffer的内存只占用了5个字节，拷贝进去的字符串远大于5字节的字符串，然而strcpy函数又不会截断，那字符串多出来的字节存放在哪里？写内存的时候是从低地址往高地址写，所以它会继续寻址，往后面写，写到flag这个局部变量里。所以此时flag可能已经被篡改了，此时的值不在是false了。