LCLint [Evans et al.]
[Material taken in part from a talk by S. Garland]
Add some partial specification information to C code to
- Detect potential bugs
- Enforce coding style
Versatile and lightweight
- Incremental gain for incremental effort
- Fits in with other tools