是不是只有编译的时候才知道程序写了错误?有没有在未编译的时候就让机器帮你检查错误的工具呢?
答案是:有!!
splint工具.用一个最简单的HELLO WORLD来表述:
=====================================
代码如下:
/*错误很明显*/
#include
int main(void)
{
print("hello worldn", s);
return
}
-----------------------------------------------------
casio$ splint -strict foo.c
Splint 3.1.1 --- 03 Nov 2006
foo.c: (in function main)
foo.c:5:2: Unrecognized identifier: print