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.
E. Kemp, and D. Setungamudalige. CHINZ '06: Proceedings of the 7th ACM SIGCHI New Zealand chapter's international conference on Computer-human interaction, page 61--66. New York, NY, USA, ACM, (2006)
X. Zhang, Y. Qu, C. Giles, and P. Song. CHI '08: Proceeding of the twenty-sixth annual SIGCHI conference on Human factors in computing systems, page 677--680. New York, NY, USA, ACM, (2008)
C. Gagné, and M. Parizeau. GECCO 2002: Proceedings of the Genetic and
Evolutionary Computation Conference, page 888. New York, Morgan Kaufmann Publishers, (9-13 July 2002)
R. Karmani, P. Madhusudan, and B. Moore. Proceedings of the 16th ACM symposium on Principles and practice of parallel programming, page 125--134. New York, NY, USA, ACM, (2011)
G. Biegel, and V. Cahill. Proceedings of the Second IEEE International Conference on Pervasive Computing and Communications (PerCom'04), page 361--. Washington, DC, USA, IEEE Computer Society, (2004)
A. Hotho, R. Jäschke, C. Schmitz, and G. Stumme. Proceedings of the Conceptual Structure Tool Interoperability Workshop at the 14th International Conference on Conceptual Structures, page 87-102. (2006)
P. Kipp, and J. Leimeister. Mensch & Computer 2013 - Leichtgewichtige Werkzeuge zur Unterstützung von Kooperation und persönlichem Wissensmanagement, Bremen, Germany, (2013)
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)
N. Brambilla, H. Chung, V. Shtabovenko, and A. Vairo. (2020)cite arxiv:2006.15451Comment: 61 pages, no figures. To obtain the programs, see https://github.com/FeynCalc.
M. Döller, and N. Lefin. Graz, Austria, Know-Center Graz, Know-Center Graz, (September 2007)I-MEDIA ’07 I-SEMANTICS ’07 1st International Conferences on New Media Technology and Semantic Systems
http://i-media.tugraz.at/content/download/162/635/file/Proceedings%20of%20I-MEDIA_I-SEMANTICS'07.pdf.