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.
V. Lyubashevsky, C. Peikert, and O. Regev. Annual International Conference on the Theory and Applications of Cryptographic Techniques, page 1--23. Springer, (2010)