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 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 is supported by an Intel Foundation Fellowship. LCLint is developed on DEC 3000/500 and DECmips machines provided by Digital Equipment Corporation and Pentium Pro (tm) machines donated by Intel Corporation. This document was produced using Pentium (tm) and Pentium Pro (tm) Computers donated by Intel Corporation and Microsoft Office (tm) software donated by Microsoft.
If you are listed here, and want me to add a link to your homepage, send me email.
