|
Cppcheck is a static code analysis tool for the C and C++ programming languages. It is a versatile tool that can check non-standard code. The creator and lead developer is Daniel Marjamäki. Cppcheck is free software under the GNU General Public License. == Features == Cppcheck supports a wide variety of static checks that may not be covered by the compiler itself. These checks are static analysis checks that can be performed at a source code level. The program is directed towards static analysis checks that are rigorous, rather than heuristic in nature. Some of the checks that are supported include: * Automatic variable checking * Bounds checking for array overruns * Classes checking (e.g. unused functions, variable initialization and memory duplication) * Usage of deprecated or superseded functions according to Open Group〔http://www.opengroup.org/onlinepubs/9699919799/xrat/V4_xsh_chap03.html〕 * Exception safety checking, for example usage of memory allocation and destructor checks * Memory leaks, e.g. due to lost scope without deallocation * Resource leaks, e.g. due to forgetting to close a file handler * Invalid usage of Standard Template Library functions and idioms * Miscellaneous stylistic and performance errors As with many analysis programs, there are many unusual cases of programming idioms which may be acceptable in particular target cases, or outside of the programmer's scope for source code correction. A study conducted in March 2009 identified several areas where false positives were found by cppcheck, but did not specify the program version examined. Cppcheck has been identified for use in systems such as CERNs 4DSOFT meta analysis package,〔(【引用サイトリンク】title=Dissemination and use of knowledge plan (EU Deliverable DNA2.11 )〕 for code verification in high energy particle detector readout devices,〔(【引用サイトリンク】title=Entwurf und Implementierung eines adaptiven, strahlentoleranten eingebetteten Systems am Beispiel eines Read-Out-Controllers (En: Development and implementation of an adaptive, radiation tolerant embedded system for operation of a Read-Out controller) )〕 system monitoring software for radio telescopes as well as in error analysis of large projects, such as OpenOffice.org and the debian archive.〔(【引用サイトリンク】title=Introducing the "Debian's Automated Code Analysis" (DACA) project )〕 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Cppcheck」の詳細全文を読む スポンサード リンク
|