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.
R. Abu-Salma, M. Sasse, J. Bonneau, and M. Smith. Proceedings of the 22Nd ACM SIGSAC Conference on Computer and Communications Security, page 1623-1625. New York, NY, USA, ACM, (2015)