linux 下 strcmp遇到空字段直接core了

taotao_112206_c

1、先说下我的机器吧

uname -a
Linux demo 2.4.21-50.EL #1 SMP Tue May 8 17:10:00 EDT 2007 x86_64 x86_64 x86_64 GNU/Linux

2、程序demo
#include <stdio.h>
#include <string.h>
main(int argc, char *argv[])
{
        if(strcmp(argv[2], argv[1]))
        {
                printf("eeeeeeeeeeeeeeeeeeeeee\n";
                return -1;
        }
        printf("nnnnnnnnnnnnnnnnnnnnnnnnnn\n";
        return 0;
}
3、运行程序
./a.out 1
Segmentation fault (core dumped)
4、查看core
gdb a.out core.2086
GNU gdb Red Hat Linux (6.3.0.0-1.138.el3rh)
Copyright 2004 Free Software Foundation, Inc.
GDB is free software, covered by the GNU General Public License, and you are
welcome to change it and/or distribute copies of it under certain conditions.
Type "show copying" to see the conditions.
There is absolutely no warranty for GDB.  Type "show warranty" for details.
This GDB was configured as "x86_64-redhat-linux-gnu"...Using host libthread_db library "/lib64/tls/libthread_db.so.1".

Core was generated by `./a.out 1'.
Program terminated with signal 11, Segmentation fault.
Reading symbols from /lib64/tls/libc.so.6...done.
Loaded symbols for /lib64/tls/libc.so.6
Reading symbols from /lib64/ld-linux-x86-64.so.2...done.
Loaded symbols for /lib64/ld-linux-x86-64.so.2
#0  0x0000002a9570af70 in strcmp () from /lib64/tls/libc.so.6
(gdb) where
#0  0x0000002a9570af70 in strcmp () from /lib64/tls/libc.so.6
#1  0x00000000004004fe in main (argc=2, argv=0x7fbfffa77 at 101.c:5
5、但是这个问题在unix上，或者说在AIX上没问题，请问大家该如何处理，谢谢了

zhaohongjian000

这个访问数组(argv)越界了，跟strcmp没有关系。

搞错了，argv最后一个元素之后是一个NULL指针，把NULL指针传递给strcmp产生段错误非常正常。

taotao_112206_c

回复 2# zhaohongjian000

这个跟越界真没有关系，core信息已经写了strcmp问题了，
还有我在应用程序中确实出现了这样的问题
printf("VarName, svar->VarName =[%s, %s]\n",  svar->VarName,VarName);
                if ( strcmp (svar->VarName ,VarName) == 0 )  break;
下面就是程序运行出现的问题
VarName, svar->VarName =[(null), myname000000]
Segmentation fault (core dumped)
   

taotao_112206_c

回复 2# zhaohongjian000


    可是为啥unix却是可以的了？

zhaohongjian000

回复 4# taotao_112206_c


    编译器、操作系统、库等一般只保证正确的代码得到正确的结果，不保证错误的代码得到错误的结果。

evaspring

有些系统库的字符串操作函数会判断NULL 有些不会 不过直接core是正确的 只是这种方式很极端 不如JAVA的异常

taotao_112206_c

大家好，之前有事情，就把这个事情给撂下了，最近搞别的东西的时候又想起这个，这个问题一直没解决，我加了断言，可还是有些问题      
for (; svar; svar = svar->next )
        {
                printf("VarName, svar->VarName =[%s, %s]\n",  svar->VarName,VarName);
                assert( svar->VarName == NULL);
                if ( strcmp (VarName ,svar->VarName) == 0 )  break;
        }
VarName, svar->VarName =[ok, ok]
test: DataPoolApi.c:362: GetVariableFromDataPool: Assertion `svar->VarName == ((void *)0)' failed.
Aborted (core dumped)，我在想是不是可以在这个之前就判断这个参数是不是为空的

hellioncu

taotao_112206_c 发表于 2014-03-11 16:03
大家好，之前有事情，就把这个事情给撂下了，最近搞别的东西的时候又想起这个，这个问题一直没解决，我加了 ...

你要不为空，应该
assert( svar->VarName ！= NULL);

实际可能为空，那就不应该用assert，用if判断才对