如何用vgdb追踪C代码中的条件跳转警告与未初始化字节问题

input.txt内容 #

(
"The quick brown fox jumps over the lazy dog" is
an English-language pangram – a sentence that
contains all the letters of the alphabet. 
)
(
The phrase is commonly used for touch-typing
practice, testing typewriters and computer
keyboards, displaying examples of fonts,
)
(
The earliest known appearance of the phrase
was in The Boston Journal. In an article
titled "Current Notes" in the February 9.
)

main.c代码 #

#include <stdio.h>
#include <stdlib.h>
#include "include/functions.h"

int
main (void)
{
  process_file("input.txt");

  return EXIT_SUCCESS;
}

functions.c代码 #

#include "include/functions.h"
#include <stdio.h>
#include <stdlib.h>
#include <string.h>

/*
  The example of input.txt:

  (
  "The quick brown fox jumps over the lazy dog"
  is an English-language pangram – a sentence that
  contains all the letters of the alphabet.
  )
  (
  "The quick brown fox jumps over the lazy dog"
  is an English-language pangram – a sentence that
  contains all the letters of the alphabet.
  )

*/

static void
parse_parentheses(FILE *fp, void (*callback)(char *))
{
  char line[560];
  char text[560];
  int inside_parentheses = 0;

  while (fgets(line, sizeof(line), fp))
    {
      if (inside_parentheses)
        {
          if (strstr(line, ")") != NULL)
            {
              inside_parentheses = 0;
              callback(text);
              memset(text, 0, sizeof(text));
            }
          else
            {
              strcat(text, line);
            }
        }
      else
        {
          if (strstr(line, "(") != NULL)
            {
              inside_parentheses = 1;
            }
        }
    }
}

void
print_text(char *text)
{
  printf("Extracted value: %s\n", text);
}

void
process_file (char *filename)
{
  FILE *fp = fopen (filename, "r");

  if (fp == NULL) 
    {
      perror ("Can't open the file.");
      exit (EXIT_FAILURE);
    }

  parse_parentheses(fp, print_text);
  
  fclose (fp);
}

问题背景 #

程序编译运行正常，能正确打印解析出的文本，但用Valgrind检测时执行：

$ valgrind --track-origins=yes --leak-check=yes -s ./file-parser

Valgrind提示存在无条件跳转和未初始化字节问题。已启动vgdb准备调试：

$ valgrind --track-origins=yes --vgdb=yes --vgdb-error=0 ./file-parser
$ gdb ./file-parser
(gdb) target remote | vgdb

但不知道后续如何操作定位问题根源。

后续调试与修复步骤 #

1. 触发错误断点 #

连接vgdb后，先让Valgrind在检测到错误时暂停程序：

monitor vgdb set breakpoint on error

然后继续运行程序：

continue

当Valgrind捕捉到未初始化字节或无条件跳转时，会自动暂停，此时GDB会停在触发错误的代码行。

2. 定位问题代码 #

程序暂停后，用以下命令查看当前调用栈，定位出错位置：

bt

结合调用栈检查变量状态：你会发现parse_parentheses函数中的text数组仅在处理完一个括号块后用memset清零，但第一次进入括号块时，text是未初始化的随机值。strcat要求目标字符串以\0结尾，未初始化的text没有终止符，会导致越界读取或未初始化字节被使用，这正是Valgrind报错的核心原因。

3. 修复代码 #

针对未初始化问题，有两种修复方式：

• 方式一：在函数开头显式初始化text数组

  char text[560] = {0}; // 初始化为全0，确保有终止符
  

• 方式二：在进入新的括号块时清空text

  if (strstr(line, "(") != NULL)
  {
    inside_parentheses = 1;
    memset(text, 0, sizeof(text)); // 开始新块前清空缓冲区
  }
  

另外，可补充边界处理：如果一行中同时包含(和)（如(single line content)），当前逻辑会直接调用callback但text为空，可根据需求调整逻辑。

4. 验证修复效果 #

重新编译代码，再次用Valgrind检测，确认问题是否解决。

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