Static code checkers are usually deployed after compilation and before testing. The success of Lint, a C source code program checker from 1977, has generated many descendant tools, both open source and proprietary. The author examines three open source tools and one commercial product.
Index Terms:
software testing, static checkers, debugging
Citation:
Panagiotis Louridas, "Static Code Analysis," IEEE Software, vol. 23, no. 4, pp. 58-61, July/Aug. 2006, doi:10.1109/MS.2006.114