|
|
|
|
|
|
|
|
|
|
|
|
|
| • | 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 |
||||||||||||
