c unix execl 不适用于用 strcat 构建的字符串

Question

我正在尝试使用使用命令行参数构建的路径名运行 execl。它没有用，所以我对要连接的字符串进行了硬编码，所以它仍然没有用。如果我提供一个 char *path = "some path name"并将其传递给 execl，它会正常工作。

#include <stdio.h>

int main(int argc,char *argv[]){
//set char path name
 char pathname[256];
 strcat(pathname,"/bin/");
 strcat(pathname,"ls"); //"ls" will be replaced with arg[1]
 int pid=fork();
  if (pid==0){
     execl(pathname,"ls",(char *)0);
  }
  else{
  wait((int*)0);
  }
return 0;
}

我已经打印出路径名以确保它是“/bin/ls”。

Answer 1

问题出在这里:

char pathname[256];
strcat(pathname,"/bin/");

你没有初始化pathname .因此，其内容是“不确定的”并且对 strcat 的调用具有官方称为“未定义行为”的功能——它可以按字面意思任何 进行操作。可能发生的具体事情是，分配给pathname的内存空间中有一些二进制垃圾。 , 和 strcat高兴地将其视为字符串，因此 pathname 的内容在两者之后strcat调用类似于(十六进制)

01 02 03 2f 62 69 63 2f 6c 73 00

当您打印出字符串时，那些前导控制字符是不可见的，但是当您调用 execl 时内核高兴地接受了执行名为 "\001\002\003/bin/ls" 的文件的请求(当然是相对于当前工作目录)，并且由于没有这样的文件，失败并设置 errno至 ENOENT .与 perror(pathname)紧接在 execl 之后程序用 ./a.out 2>&1 | cat -v 调用你会看到类似的东西

^A^B^C/bin/ls: No such file or directory

改变第一个strcat至 strcpy更正此问题，因为 strcpy总是复制到目标缓冲区的开头，忽略之前的内容；一旦完成，buf 的字节直到并包括第一个 NUL 是确定的并且 strcat具有明确定义的行为......

... 但是，如果您将程序改回阅读要在 /bin/ 之后复制的内容来自 argv[1] ，并且第一个命令行参数超过 250 个字节长，砰，你又遇到了未定义的行为。编写此程序的更好方法是使用 asprintf :

int main(int argc, char **argv)
{
    if (argc != 2) {
        fprintf(stderr, "usage: %s program\n", argv[0]);
        return 2;
    }
    char *pathname;
    if (asprintf(&pathname, "/bin/%s", argv[1]) == -1) {
        perror("asprintf");
        return 1;
    }

    execl(pathname, argv[1], (char *)0);
    perror(pathname);
    return 127;
}

(如果您没有 asprintf，您可以直接使用 snprintf 和 malloc 自己滚动它。如果您没有 snprintf，请购买一台真正的计算机。)