Splint is an impressive GPL licensed lint tool for C programs. Features include: http://t.co/IIYEQhvguq