Checking C Programs With Lint

Ian Darwin has worked in the computer industry for three decades, with Unix since 1980, with Java since 1995, and with OpenBSD since 1998. He wrote the freeware file(1) command used on Linux and BSD and is the author of Java Cookbook, as well as over seventy articles and several courses (both university and commercial) on C and Unix over the years. In addition to programming and consulting, Ian teaches Unix, C and Java for Learning Tree International, one of the world's largest technical training companies.

• Preface Scope of This Handbook Conventions Used in This Handbook Chapter 1 Introduction Chapter 2 Using lint Chapter 3 Dealing with lint's Concerns Casting: Tell the Compiler You Know Better /*LINT COMMENTS*/-Tell lint You Don't Care /*NOTREACHED*/ /*ARGSUSED*/ and /*VARARGS*/ /*LINTLIBRARY*/ /*NOSTRICT*/ and /*CANTHAPPEN*/ Specific Problems: The Delinting Handbook Chapter 4 Using lint in Detail Command Line Options Using lint with make Roll Your Own lint Library Chapter 5 Limits to lint printfck clash and shortc cchk check Chapter 6 Under the Hood Chapter 7 An Evaluation of lint Chapter 8 Future Directions Appendix A The Ten Commandments for C Programmers Appendix B A Very Brief History of UNIX Research USG Berkeley Appendix C Supplemental Programs Bibliography Index