Splint:静态检查时的解析错误

时间:2013-07-02 09:51:04

标签: parsing splint

我是静态检查的新手,我被分配了一个任务来进行C代码的静态检查。我可以自由选择任何一种工具,记住组织已经使用了lint,因此应该首选基于lint的工具。

我选择了夹板,因为它是一个免费软件。 (PC lint和Lint是商业用途)

现在我尝试编译一个包含#include <unistd.h>

的简单C文件
Splint shows error: 
/usr/include/unistd.h:221:26: Parse Error:
Suspect missing struct or union keyword: __ssize_t :
int. (For help on parse errors, see splint -help parseerrors.)

无法继续。 我怎样才能使这个工作?

我在某些地方读过夹板不支持C99标准,而有些人说它支持。任何人都可以告诉我是否应该重新考虑我的选择,因为我将使用C99格式。什么是与lint /夹板非常相似的其他免费替代品?

0 个答案:

没有答案