Coverity used by the companySource codeDetection tool. I just mentioned the lint source in "C expert programming ".CodeThe tool, so I Googled it and it was quite fun. I recorded it here first and went to the company tomorrow to install it for fun.
Reference
PC-Lint is a static code detection tool with a long history and powerful functions. It is applicable to C and C ++ languages. Its history can be traced back to the ancient times of computer programming (more than 30 years ago ). After so many years of development, it not only can monitor many potential operators in the syntax logic, but also can effectively help you propose manyProgramImprovement in space utilization and operational efficiency. In many professional software companies, such as Microsoft and PC-lint, checking for errors without warning is the first level of code, I personally think that PC-Lint is also very important for small companies and individuals to develop, because based on the development cost considerations, small companies and individuals often cannot come up with many comprehensive tests. At this time, the powerful features of PC-Lint can improve the quality of software.
Installation of PC-lint and Its using in Visual Studio 2005.
Http://www.viva64.com/articles/PC-lint_ (engting.html