Secure Programming Lint. A freely available version of the original Unix lint command, splint performs static checking of C programs. By adding annotations in the form of special comments to your source files, splint can perform many additional, stronger checks than would otherwise be possible.
splint has a very large number of options. They are broken down here into separate sections based on task. splint allows the use of a leading + and a leading minus to indicate an option. In many cases they do the same thing; in others one enables a feature while the other disables it.
Read options from file instead of from $HOME/.splintrc.
Add dir to the list of directories searched for C include files. As with the C compiler, there is no space separating the
-Ifrom the directory name.
Do not read either of the default option files ./.splintrc and $HOME/.splintrc.
Add dir to the list of directories searched for
Use directory for temporary files. The default is /tmp.
Set the list of system directories to search for include files. The default is /usr/include. To include multiple directories, separate them with a colon.
Do not report errors for files in system directories.
Define a macro. This option is passed on to the C preprocessor.