C语言中argv参数合规性验证及安全使用的技术问询

1. 当i < argc时，argv[i]是否保证非空？ #

根据C99及后续标准的明确规定：

argv[0]至argv[argc-1]均为指向字符串的非空指针，argv[argc]固定为NULL。

只要程序是符合标准的正常启动方式（比如shell执行、合法exec调用启动），当i < argc时，argv[i]绝对不会是NULL，访问argv[i][0]不会触发段错误。

2. 不合规execlp调用的系统防护问题 #

先纠正代码里的拼写错误：execelp应为execlp。针对你列出的几种情况：

• execlp("malicious_program", "ls", NULL)：这是合法调用，只是argv[0]与实际程序名不一致，系统不会阻止——很多工具会故意这么做（比如su启动时argv[0]会变为-su），不属于错误。
• execlp("ls", "ls", NULL, "-al", NULL)：参数列表中间的NULL会被execlp当作参数结束标记，后续的-al会被忽略，系统不会报错，新程序实际接收的参数只有"ls"。
• execlp("ls", "ls")：这种未以NULL结尾的调用属于未定义行为——execlp系列要求参数列表必须以NULL收尾，否则会持续读取栈上随机数据直到遇到NULL。操作系统不会对此做防护，因为这属于调用方程序的错误，内核仅负责接收传递的参数数组，不校验格式合法性。

如果程序通过这种不合规的exec调用启动，确实可能破坏标准假设：比如参数数组构造错误导致i < argc时argv[i]为NULL，或者argc值不准确。但这类情况属于程序启动阶段的异常，根源是调用exec的程序存在bug。

3. 能否使用if (*argv[i] == NULL) break;写法？ #

绝对不要用，原因如下：

• 逻辑错误：*argv[i]是指针指向的字符串首字符，而非指针本身，你实际想判断的是argv[i] == NULL，但这里写成了判断字符是否为'\0'，逻辑完全错误。
• 风险极高：如果参数列表无NULL终止符，循环会越界访问argv导致无限循环或段错误；如果参数中存在空字符串（argv[i]指向""），会提前break漏掉后续参数。

正确的遍历写法有两种：

1. 基于argc的安全遍历（推荐）：

for (int i = 0; i < argc; i++) {
    // 处理argv[i]
}

2. 依赖argv的NULL终止遍历（不推荐，因为argc已明确参数数量）：

char **arg = argv;
while (*arg != NULL) {
    // 处理*arg
    arg++;
}

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