#include "tokenize.h" // <- Tokenizer #include "CommonCheck.h" #include "CheckMemoryLeak.h" #include "CheckBufferOverrun.h" #include "CheckClass.h" #include "CheckHeaders.h" #include "CheckOther.h" #include #include #ifdef __BORLANDC__ #include #endif //--------------------------------------------------------------------------- bool Debug = false; bool ShowAll = false; bool CheckCodingStyle = false; //--------------------------------------------------------------------------- static void CppCheck(const char FileName[]); static void AddFiles( std::vector &filenames, const char path[], const char pattern[] ) { #ifndef __GNUC__ struct ffblk f; for ( int done = findfirst(pattern, &f, 0); ! done; done = findnext(&f) ) { std::ostringstream fname; fname << path << f.ff_name; filenames.push_back( fname.str() ); } findclose(&f); #endif } static void RecursiveAddFiles( std::vector &filenames, const char path[] ) { AddFiles( filenames, path, "*.cpp" ); AddFiles( filenames, path, "*.cc" ); AddFiles( filenames, path, "*.c" ); #ifndef __GNUC__ struct ffblk f ; for ( int done = findfirst("*", &f, FA_DIREC); ! done; done = findnext(&f) ) { if ( f.ff_attrib != FA_DIREC || f.ff_name[0] == '.' ) continue; chdir( f.ff_name ); std::ostringstream curdir; curdir << path << f.ff_name << "/"; RecursiveAddFiles( filenames, curdir.str().c_str() ); chdir( ".." ); } findclose(&f); #endif } //--------------------------------------------------------------------------- // Main function of cppcheck //--------------------------------------------------------------------------- int main(int argc, char* argv[]) { std::vector filenames; bool Recursive = false; for (int i = 1; i < argc; i++) { if (strcmp(argv[i],"--debug") == 0) Debug = true; // Show all messages else if (strcmp(argv[i],"--all") == 0) ShowAll = true; // Checking coding style. else if (strcmp(argv[i],"--style")==0) CheckCodingStyle = true; else if (strcmp(argv[i],"--recursive")==0) Recursive = true; else if (strchr(argv[i],'*')) { AddFiles( filenames, "", argv[i] ); } else { filenames.push_back( argv[i] ); } } // No filename given.. automaticly search for available files. if ( Recursive ) RecursiveAddFiles( filenames, "" ); if (filenames.empty()) { std::cout << "C/C++ code checking.\n" "\n" "Syntax:\n" " cppcheck [--all] [--style] [--recursive] [filename1] [filename2]\n" "\n" "Options:\n" " --all Normally a message is only shown if cppcheck is sure\n" " it has found a bug.\n" " When this option is given, all messages are shown.\n" "\n" " --style Check coding style.\n" " --recursive Recursily check all *.cpp, *.cc and *.c files\n"; return 0; } for (unsigned int c = 0; c < filenames.size(); c++) { errout.str(""); CppCheck(filenames[c].c_str()); std::cerr << errout.str(); } return 0; } //--------------------------------------------------------------------------- // CppCheck - A function that checks a specified file //--------------------------------------------------------------------------- extern bool HasErrors; static void CppCheck(const char FileName[]) { HasErrors = false; std::cout << "Checking " << FileName << "...\n"; // Tokenize the file tokens = tokens_back = NULL; Files.clear(); Tokenize(FileName); // Check that the memsets are valid. // The 'memset' function can do dangerous things if used wrong. // Important: The checking doesn't work on simplified tokens list. CheckMemset(); // Check for unwanted unsigned division // Not accurate yet. Very important to run it before 'SimplifyTokenList' if ( ShowAll ) CheckUnsignedDivision(); // Including header which is not needed if ( CheckCodingStyle ) WarningIncludeHeader(); SimplifyTokenList(); // Memory leak CheckMemoryLeak(); // Buffer overruns.. CheckBufferOverrun(); // Check that all class constructors are ok. CheckConstructors(); if (ShowAll) { // Check for "if (a=b)" CheckIfAssignment(); // Check for case without break // Disabled because it generates many false positives // CheckCaseWithoutBreak(); // Dangerous usage of strtok // Disabled because it generates false positives //WarningStrTok(); } // Dangerous functions, such as 'gets' and 'scanf' WarningDangerousFunctions(); // Invalid function usage.. InvalidFunctionUsage(); if (CheckCodingStyle) { // Check that all private functions are called. CheckUnusedPrivateFunctions(); // Found implementation in header WarningHeaderWithImplementation(); // Warning upon c-style pointer casts const char *ext = strrchr(FileName, '.'); #ifdef __linux__ if (ext && strcasecmp(ext,".c")) #else if (ext && stricmp(ext,".c")) #endif WarningOldStylePointerCast(); // Use standard functions instead WarningIsDigit(); WarningIsAlpha(); CheckOperatorEq1(); // if (a) delete a; WarningRedundantCode(); // if (condition); WarningIf(); } // Clean up tokens.. DeallocateTokens(); // Todo: How should this work? Activated by a command line switch? if ( ! HasErrors ) std::cout << "No errors found\n"; } //---------------------------------------------------------------------------