Splint is a tool for statically checking C programs for security vulnerabilities and coding mistakes. With minimal effort, Splint can be used as a better lint.
G. Little, L. Chilton, M. Goldman, and R. Miller. HCOMP '09: Proceedings of the ACM SIGKDD Workshop on Human Computation, page 29--30. New York, NY, USA, ACM, (2009)