4

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

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

现在我尝试编译一个简单的 C 文件#include <unistd.h>

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/splint 非常相似的免费替代品?

4

0 回答 0