Checking C Programs with Lint (Paperback, Revised edition)

The "lint" program checker has proven time and again to be one of the best tools for finding portability problems and certain types of coding errors in C programs. This book introduces you to "lint," guides you through running it on your programs, and helps you to interpret "lint's" output.

"lint" verifies a program or program segments against standard libraries, checks the code for common portability errors, and tests the programming against some tried and true guidelines. "linting" your code is a necessary (though not sufficient) step in writing clean, portable, effective programs.

Contents include: Overview of using "lint" Dealing with "lint'" concerns: casting and "delinting" "lint" comments Using "lint" in detail: command line options, using "lint" with "make," rolling your own "lint" library Public domain programs Under the hood: an inside look Future directions