Skip to Main Content
Unix in a Nutshell, 4th Edition
book

Unix in a Nutshell, 4th Edition

by Arnold Robbins
October 2005
Intermediate to advanced content levelIntermediate to advanced
908 pages
46h 42m
English
O'Reilly Media, Inc.
Content preview from Unix in a Nutshell, 4th Edition

Name

splint

Synopsis

    splint [options] files ...

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.

URL: http://www.splint.org/.

Initialization Options

-f file

Read options from file instead of from $HOME/.splintrc.

-I dir

Add dir to the list of directories searched for C include files. As with the C compiler, there is no space separating the -I from the directory name.

-nof

Do not read either of the default option files ./.splintrc and $HOME/.splintrc.

-S dir

Add dir to the list of directories searched for .lcl specification files.

-tmpdir directory

Use directory for temporary files. The default is /tmp.

-systemdirs dirlist

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.

-systemdirerrors

Do not report errors for files in system directories.

Preprocessor Options

-D macro-definition

Define a macro. This option is passed on to the C preprocessor.

-U macroname

Undefine ...

Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Start your free trial

You might also like

Learning the Unix Operating System, 5th Edition

Learning the Unix Operating System, 5th Edition

John Strang, Grace Todino, Jerry Peek
UNIX and Linux System Administration Handbook, 5th Edition

UNIX and Linux System Administration Handbook, 5th Edition

Trent R. Hein, Evi Nemeth, Garth Snyder, Ben Whaley, Dan Mackin

Publisher Resources

ISBN: 0596100299Errata Page