c - 向我解释以下 C 程序的输出

Question

请解释下面的例子。问题很简单，但结果很突然。

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

int main(int argc, char *argv[])
{
  int flag = 0;
  char passwd[10];
  strcpy(passwd, argv[1]);
  if(0 == strcmp("LinuxGeek", passwd))
    {
      flag = 1;
    }

  if(flag)
    {
      printf("\n Password cracked \n");
    }
  else
    {
      printf("\n Incorrect passwd \n");

    }
  return 0;
} 

标志的值在该行之后变为垃圾值

strcpy(passwd, argv[1]);

但是，如果我像这样定义变量标志，

int flag = 0 

行后

strcpy(passwd, argv[1]);

我得到了想要的结果。请简要说明一下。

Answer 1

简短的回答是，当 argv[1] 的长度大于九时，您的程序的行为是未定义的，因为那时您溢出了缓冲区 passwd。

长答案显然是，您的编译器按照列出的顺序对堆栈中的变量进行排序，因此在 passwd 之后移动 flag 会在缓冲区后放置四个额外的零字节并且 strcmp 将其中之一识别为 passwd 上的 NUL 终止符。

解决问题的方法是跳过无用的复制:

char *passwd = argv[1];

或者完全删除passwd 变量并进行以下比较:

strcmp("LinuxGeek", argv[1])