I am new to static validation and entrusted with static verification of C code. I have been given the freedom to choose any tool, given that the organization already uses lint, so a lint-based tool is preferred.
I chose splint because it is free software. (PC lint and Lint are commercial)
Now I tried to compile a simple C file that had #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.)
Unable to continue. How can I make this work?
I read in some places that the bus does not support the C99 standard, while some say that it supports. Can someone tell me if I should reconsider my choice as I will use the C99 format. What are other free alternatives that are very similar to lint / splint?
source share