AcknowledgementsJohn 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, Raymie Stata, Yang Meng Tan, and Mark Vandevoorde. I especially thank Angelika Leeb for many constructive comments on improving the User's Guide, Raymie Stata for help designing and setting up the 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 Win32 and OS/2 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 3000/500 and DECmips machines provided by Digital Equipment Corporation and Pentium II (tm) machines donated by Intel Corporation. This document was produced using Pentium II (tm) and Pentium Pro (tm) Computers donated by Intel Corporation and Microsoft Office (tm) software donated by Microsoft. Ontrack recovered the disk containing the LCLint web site and ftp site.
If you are listed here, and want me to add a link to your homepage, send me email.
Software Devices and Systems