Checking C programs with lint
Ian F. Darwin · 1988
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