Checking C Programs with Lint: C Programming Utility

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