10 December 2001
David Larochelle
7
Implementation
•Extended LCLint
–Open source checking tool [FSE
‘94] [PLDI ‘96]
–Uses annotations
–Detects null dereferences,
memory leaks, etc.
•Integrated to take advantage of
existing checking and annotations (e.g., modifies)
•Added new annotations and
checking for buffer sizes