在 valgrind 中获取“系统调用参数 execve(argv) 指向无法寻址的字节”

Question

运行以下 C 程序，valgrind --leak-check=yes结果 valgrind 给出一个输出，表明

Syscall param execve(argv) points to unaddressable byte(s)

程序如下：

int main() {
  const int NUM_ARGS = 3;
  char** run_arguments = malloc(sizeof(char*)*NUM_ARGS);
  run_arguments[0] = "ls";
  run_arguments[1] = "-l";
  run_arguments[2] = "--color";
  char* full_path = "/bin/ls";
  int pid = fork();
  if (pid == 0)
    execv(full_path,run_arguments);
  else {
    int status;
    waitpid(pid,&status,WUNTRACED);
    free(run_arguments);
  }
  return 0;
}

按照valgrind的说法，问题出在线上execv(full_path,run_arguments);，问题源于malloc线上的done char** run_arguments = malloc(sizeof(char*)*NUM_ARGS);。

我犯了什么错误导致 valgrind 给出这个输出？

Answer 1

参数列表必须以NULL指针结尾。向run_arguments数组中添加一个元素，并将其设为NULL指针。

如果没有空指针参数，exec函数将在搜索终止符时越界，并将每个非空元素视为应传递给程序的参数。这会导致未定义的行为。

这是在明确地指出了exec手册页。