Download LCLint User's Guide

ii
LCLint User’s Guide
Acknowledgments
John Guttag and Jim Horning had the original idea for LCLint, have provided valuable advice on its
functionality and design, and been instrumental in its development. This work has also benefited
greatly from discussions with Mike Burrows, Stephen Garland, Colin Godfrey, Steve Harrison,
Daniel Jackson, Angelika Leeb, Ulana Legedza, Anya Pogosyants, Navneet Singh, Raymie Stata,
Yang Meng Tan, and Mark Vandevoorde. I especially thank Angelika Leeb for many constructive
comments on improving this document, Raymie Stata for help designing and setting up the LCLint
web site and Mark Vandevoorde for technical assistance.
Much of LCLint’s development has been driven by feedback from users in academia and industry.
Many more people than I can mention here have made contributions by suggesting improvements,
reporting bugs, porting early versions of LCLint to other platforms. Particularly heroic contributions
have been made by Eric Bloodworth, Jutta Degener, Rick Farnbach, Chris Flatters, Huver Hu, John
Gerard Malecki, Thomas G. McWilliams, Michael Meskes, Richard O’Keefe, Jens Schweikhardt,
and Albert L. Ting. Martin "Herbert" Dietze and Mike Smith performed valiantly in producing the
original Win32 and OS2 ports.
LCLint incorporates the original LCL checker developed by Yang Meng Tan. This was built on the
DECspec Project (Joe Wild, Gary Feldman, Steve Garland, and Bill McKeeman). The LSL checker
used by LCLint was developed by Steve Garland. The original C grammar for LCLint was provided
by Nate Osgood.
This research was supported by grants from ARPA (N0014-92-J-1795), NSF (9115797-CCR) and
DEC ERP. David Evans was supported by an Intel Foundation Fellowship. LCLint was developed
on DEC Alpha and DECmips machines provided by Digital Equipment Corporation and Pentium II™
machines donated by Intel. The Win32 version of LCLint was produced using Visual Studio™
software donated by Microsoft. This document was produced using Pentium II™ Computers donated
by Intel Corporation and Microsoft Office™ software donated by Microsoft.