LCLint Version 2.1b

7 May 1996

Version 2.1b is a maintenance upgrade to the last publically released version of LCLint, Version 2.1a.

Bug Fixes

All known bugs in Version 2.1a have been fixed.

New Flags

A few new flags are provided for more precise control of null pointer messages. The nullderef flag controls reporting of dereferences of possibly null pointers; nullpass, nullret, nullstate, and nullassign control reporting of null errors at interface points. The original null flag has the same meaning as before --- it sets all of the context-specific null flags. One additional flag provides more precise control of initializer block checking. Errors for incomplete initializer blocks are only reported if fullinitblock is on.

Previous release notices

LCLint Home Page David Evans
University of Virginia, Computer Science
[email protected]