程序中有这样的隐患，怎么查出来。

mingjwan

#include<stdio.h>
int main()
{
    unsigned char a;
    unsigned short b=500;
    for(a=0;a<b;a++)
        printf("hello\n");
}
显然这是一个死循环的编码，怎么让编译器或者其他工具查出这样的错误呢。

langue

你会写编译器么

mingjwan

原帖由 langue 于 2006-9-19 20:10 发表
你会写编译器么

什么意思哦。怎么感觉怪怪的味道？

coldwarm

有一个叫做lint的静态检查工具，就是干这个的。

不知道你用的什么发行版，如果是debian的话。aptitude install splint.如果是其它发行版，应当有类似的工具。

mingjwan

原帖由 coldwarm 于 2006-9-19 20:25 发表
有一个叫做lint的静态检查工具，就是干这个的。

不知道你用的什么发行版，如果是debian的话。aptitude install splint.如果是其它发行版，应当有类似的工具。

但是pclint需要配置各种规则的。不知道针对以上错误，规则应该如果配。

converse

原帖由 mingjwan 于 2006-9-19 20:09 发表
#include<stdio.h>
int main()
{
    unsigned char a;
    unsigned short b=500;
    for(a=0;a<b;a++)
        printf("hello\n";
}
显然这是一个死循环的编码，怎么让编译器或者 ...

死循环?

lovefreex

我也没看出来是死循环....

coldwarm

没用过pclint，但每个lint工具都应当带一些默认规则。除非你要定制自己的lint规则库，不过我觉得默认规则应当够用了。

1. 
   
2. Splint 3.1.1 --- 21 Apr 2006
   
3. 
   
4. type.c: (in function main)
   
5. type.c:6:6: Assignment of int to unsigned char: a = 0
   
6.   Types are incompatible. (Use -type to inhibit warning)
   
7. type.c:6:10: Operands of < have incompatible types (unsigned char, unsigned
   
8.                 short int): a < b
   
9.   To make char and int types equivalent, use +charint.
   
10. type.c:6:14: Operand of ++ is non-numeric (unsigned char): a
    
11. type.c:6:10: Incompatible types for < (unsigned char, unsigned short int) (in
    
12.                 post loop test): a < b
    
13. type.c:8:2: Path with no return in function declared to return int
    
14.   There is a path through a function declared to return a value on which there
    
15.   is no return statement. This means the execution may fall through without
    
16.   returning a meaningful result to the caller. (Use -noret to inhibit warning)
    
17. 
    
18. Finished checking --- 5 code warnings
    

复制代码

你的代码的问题应当已经暴露出来了。虽然这样错误还是不明显。

langue

lint好像是BSD上面的？

bash-2.05# lint
lint [-abceghprvxzHF] [-s|-t] [-i|-nu] [-Dname[=def]] [-Uname]
     [-Idirectory] [-Ldirectory] [-llibrary] [-ooutputfile] file ...

lint [-abceghprvzHF] [-s|-t] -Clibrary [-Dname[=def]]
     [-Idirectory] [-Uname] file ...
bash-2.05#

langue

原帖由 converse 于 2006-9-19 20:56 发表


死循环?

char比short小，何年何月才会加至500？