Checking C Programs with Lint

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.

Summary

The lint program is one of the best tools for finding portability problems and certain types of coding errors in C programs. This handbook introduces lint, provides a guide to running it on programs, and shows how to interpret lint's output.

Product details

• Authors: Ian Darwin, Ian D. Darwin, Ian F Darwin, Ian F. Darwin, Darwin Ian F.
• Publisher: External catalogues_US
• Languages: English
• Product format: Paperback / Softback
• Released: 01.10.1988
• EAN: 9780937175309
• ISBN: 978-0-937175-30-9
• Series: A Nutshell handbook; Nutshell Handbooks; Nutshell Handbooks; Nutshell Handbook
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > Programming languages; UNIX, C (Programmiersprache), Programming and scripting languages: general, lint C