Solution 1:

See splint - a GPL rewrite of lint.

However, splint does not fully support C99.

It is recommended to use cppcheck.

Solution 2:

From apt-cache search lint

splint - tool for statically checking C programs for bugs.
splint-data - tool for statically checking C programs for bugs - data files
splint-doc-html - tool for statically checking C programs for bugs - HTML documentation

Installation

sudo apt-get install splint

Documentation

For documentation, examples and the downloads, check their website at http://www.splint.org.