2

我正在用 valgrind 检查一些代码，我得到了这个错误：

==7001== Invalid read of size 1
==7001==    at 0x402E21B: strstr (in /usr/lib/valgrind/vgpreload_memcheck-x86-linux.so)
==7001==    by 0x8049742: replace_in_file (functions.c:191)
==7001==    by 0x8049C55: parse_dir (functions.c:295)
==7001==    by 0x8049059: main (main.c:214)
==7001==  Address 0x42018c3 is 0 bytes after a block of size 3 alloc'd
==7001==    at 0x402B018: malloc (in /usr/lib/valgrind/vgpreload_memcheck-x86-linux.so)
==7001==    by 0x80496EC: replace_in_file (functions.c:183)
==7001==    by 0x8049C55: parse_dir (functions.c:295)
==7001==    by 0x8049059: main (main.c:214)

代码片段如下所示：

long int replace_in_file(char **sets, FILE *file, char *path, const char *mode){
    long int n = 0, size = 0, len, remaining_len;

    char *buffer,
         *found,
         *before,
         *after;

    size = file_size(file);
    if(-1 != size){

        buffer = malloc(size * sizeof(char));

        rewind(file);
        fread(buffer, 1, size, file);

        int i=0;
        do{
            do{
                found = strstr(buffer, sets[i]); // LINE 191
                if(NULL != found && '\0' != sets[i][0]){

//rest of code...

我无法理解为什么会出现该错误，因为一切都按预期工作，并且在调试器中每个变量似乎都很好。

出了什么问题，我该如何解决？

4

3 回答 3

5

fread()不会以 nul 终止它读取的数据，但需要strstr()一个以 nul 终止的字符串。您应该分配 size+1 字节并显式添加 nul 终止符以确保安全。

于 2012-05-03T16:48:08.857 回答
4

你buffer的不是 nul 终止的。通常，您可以在bzero()它之前使用它fread()以确保它可以与strstr()类似的功能一起使用。

于 2012-05-03T16:52:49.893 回答
2

从我在手册页中读到的内容，fread()不会NULL- 根据 C89 终止其结果 - 而且它也不会在我的系统上 - 所以strstr()只会在末尾读取，buffer除非您像这样终止它

buffer = malloc((size + 1) * sizeof(char));
memset(buffer, '\0', size + 1);

（它的优点是在 fread 无法读取整个文件的情况下也终止它）

旁注：由于您已经sizeof(char)在通话中使用了，为了保持一致性malloc()，您还可以考虑替换1in 。fread()

于 2012-05-03T17:02:42.513 回答