2007-05-07 19:31:35 +02:00
|
|
|
|
|
|
|
#include <iostream>
|
|
|
|
#include <sstream>
|
|
|
|
|
2007-05-24 07:40:45 +02:00
|
|
|
#include "tokenize.h" // <- Tokenizer
|
2008-02-16 16:46:32 +01:00
|
|
|
#include "CommonCheck.h"
|
2007-05-24 15:07:30 +02:00
|
|
|
|
|
|
|
#include "CheckMemoryLeak.h"
|
|
|
|
#include "CheckBufferOverrun.h"
|
|
|
|
#include "CheckClass.h"
|
|
|
|
#include "CheckHeaders.h"
|
2007-05-25 08:48:56 +02:00
|
|
|
#include "CheckOther.h"
|
2007-05-24 07:40:45 +02:00
|
|
|
|
2007-05-07 19:31:35 +02:00
|
|
|
//---------------------------------------------------------------------------
|
2007-05-24 15:07:30 +02:00
|
|
|
bool Debug = false;
|
2007-07-20 17:43:39 +02:00
|
|
|
bool ShowAll = false;
|
|
|
|
bool CheckCodingStyle = false;
|
2007-05-14 18:25:34 +02:00
|
|
|
//---------------------------------------------------------------------------
|
2007-05-07 19:31:35 +02:00
|
|
|
|
2007-05-25 08:48:56 +02:00
|
|
|
static void CppCheck(const char FileName[]);
|
2007-05-19 21:21:14 +02:00
|
|
|
|
2007-05-20 19:02:24 +02:00
|
|
|
|
2007-05-07 19:31:35 +02:00
|
|
|
//---------------------------------------------------------------------------
|
2007-05-25 08:48:56 +02:00
|
|
|
// Main function of cppcheck
|
|
|
|
//---------------------------------------------------------------------------
|
2007-05-09 08:50:31 +02:00
|
|
|
|
2007-05-07 19:31:35 +02:00
|
|
|
int main(int argc, char* argv[])
|
|
|
|
{
|
2007-05-21 19:16:35 +02:00
|
|
|
const char *fname = NULL;
|
|
|
|
for (int i = 1; i < argc; i++)
|
|
|
|
{
|
2007-07-20 17:43:39 +02:00
|
|
|
if (strcmp(argv[i],"--debug") == 0)
|
2007-05-21 19:16:35 +02:00
|
|
|
Debug = true;
|
|
|
|
|
2007-07-20 17:43:39 +02:00
|
|
|
// Show all messages
|
|
|
|
else if (strcmp(argv[i],"--all") == 0)
|
|
|
|
ShowAll = true;
|
|
|
|
|
|
|
|
// Checking coding style.
|
|
|
|
else if (strcmp(argv[i],"--style")==0)
|
|
|
|
CheckCodingStyle = true;
|
2007-05-21 19:16:35 +02:00
|
|
|
|
|
|
|
else
|
|
|
|
fname = argv[i];
|
|
|
|
}
|
2007-05-15 18:51:39 +02:00
|
|
|
|
2007-05-21 19:16:35 +02:00
|
|
|
if (!fname)
|
2007-05-07 19:31:35 +02:00
|
|
|
{
|
2007-07-24 08:24:12 +02:00
|
|
|
std::cout << "C/C++ code checking.\n"
|
|
|
|
"\n"
|
|
|
|
"Syntax:\n"
|
|
|
|
" cppcheck [--all] [--style] filename\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";
|
2007-05-07 19:31:35 +02:00
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
2007-07-26 08:17:25 +02:00
|
|
|
CppCheck(fname);
|
2007-05-09 08:50:31 +02:00
|
|
|
|
2008-02-16 16:46:32 +01:00
|
|
|
std::cerr << errout.str();
|
|
|
|
|
2007-05-09 08:50:31 +02:00
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
2007-05-25 08:48:56 +02:00
|
|
|
//---------------------------------------------------------------------------
|
|
|
|
// CppCheck - A function that checks a specified file
|
|
|
|
//---------------------------------------------------------------------------
|
|
|
|
|
2007-07-18 08:12:16 +02:00
|
|
|
extern bool HasErrors;
|
|
|
|
|
2007-05-09 08:50:31 +02:00
|
|
|
static void CppCheck(const char FileName[])
|
|
|
|
{
|
2007-07-18 08:12:16 +02:00
|
|
|
HasErrors = false;
|
|
|
|
|
2007-07-24 08:24:12 +02:00
|
|
|
std::cout << "Checking " << FileName << "...\n";
|
|
|
|
|
2007-05-25 08:48:56 +02:00
|
|
|
// Tokenize the file
|
2007-05-07 19:31:35 +02:00
|
|
|
tokens = tokens_back = NULL;
|
2007-05-09 08:50:31 +02:00
|
|
|
Files.clear();
|
|
|
|
Tokenize(FileName);
|
2007-05-07 19:31:35 +02:00
|
|
|
|
2007-05-29 08:24:36 +02:00
|
|
|
|
|
|
|
// Check that the memsets are valid.
|
2007-07-18 08:12:16 +02:00
|
|
|
// The 'memset' function can do dangerous things if used wrong.
|
2007-05-29 08:24:36 +02:00
|
|
|
// Important: The checking doesn't work on simplified tokens list.
|
|
|
|
CheckMemset();
|
|
|
|
|
|
|
|
|
2007-07-20 17:43:39 +02:00
|
|
|
// Including header which is not needed
|
|
|
|
if ( CheckCodingStyle )
|
2007-06-04 08:31:57 +02:00
|
|
|
WarningIncludeHeader();
|
|
|
|
|
|
|
|
|
2007-05-29 08:24:36 +02:00
|
|
|
SimplifyTokenList();
|
|
|
|
|
2007-05-15 20:31:44 +02:00
|
|
|
// Memory leak
|
|
|
|
CheckMemoryLeak();
|
|
|
|
|
2007-05-20 19:47:07 +02:00
|
|
|
// Buffer overruns..
|
|
|
|
CheckBufferOverrun();
|
|
|
|
|
2008-01-10 20:01:16 +01:00
|
|
|
// Check that all class constructors are ok.
|
|
|
|
CheckConstructors();
|
2007-05-15 20:31:44 +02:00
|
|
|
|
2007-07-20 17:43:39 +02:00
|
|
|
if (ShowAll)
|
|
|
|
{
|
|
|
|
// Check for "if (a=b)"
|
2007-07-24 08:24:12 +02:00
|
|
|
CheckIfAssignment();
|
|
|
|
|
2007-07-20 17:43:39 +02:00
|
|
|
// Check for case without break
|
2007-10-22 08:59:28 +02:00
|
|
|
// Disabled because it generates many false positives
|
|
|
|
// CheckCaseWithoutBreak();
|
2007-07-20 17:43:39 +02:00
|
|
|
|
|
|
|
// Dangerous usage of strtok
|
2007-10-22 08:59:28 +02:00
|
|
|
// Disabled because it generates false positives
|
|
|
|
//WarningStrTok();
|
2007-07-20 17:43:39 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2007-05-18 20:22:16 +02:00
|
|
|
|
2007-07-20 17:43:39 +02:00
|
|
|
// Dangerous functions, such as 'gets' and 'scanf'
|
|
|
|
WarningDangerousFunctions();
|
|
|
|
|
2008-01-10 20:01:16 +01:00
|
|
|
|
2007-07-20 17:43:39 +02:00
|
|
|
// Invalid function usage..
|
|
|
|
InvalidFunctionUsage();
|
|
|
|
|
|
|
|
|
|
|
|
if (CheckCodingStyle)
|
2007-05-21 19:16:35 +02:00
|
|
|
{
|
2007-06-08 20:01:23 +02:00
|
|
|
// Check that all private functions are called.
|
|
|
|
CheckUnusedPrivateFunctions();
|
|
|
|
|
2007-05-21 19:16:35 +02:00
|
|
|
// Found implementation in header
|
|
|
|
WarningHeaderWithImplementation();
|
|
|
|
|
|
|
|
// Warning upon c-style pointer casts
|
|
|
|
const char *ext = strrchr(FileName, '.');
|
2007-07-17 08:15:50 +02:00
|
|
|
#ifdef __linux__
|
|
|
|
if (ext && strcasecmp(ext,".c"))
|
|
|
|
#else
|
2007-05-21 19:16:35 +02:00
|
|
|
if (ext && stricmp(ext,".c"))
|
2007-07-17 08:15:50 +02:00
|
|
|
#endif
|
2007-05-21 19:16:35 +02:00
|
|
|
WarningOldStylePointerCast();
|
|
|
|
|
|
|
|
// Use standard functions instead
|
|
|
|
WarningIsDigit();
|
2007-06-05 06:51:01 +02:00
|
|
|
WarningIsAlpha();
|
2007-05-18 20:22:16 +02:00
|
|
|
|
2007-05-21 19:16:35 +02:00
|
|
|
CheckOperatorEq1();
|
2007-05-07 19:31:35 +02:00
|
|
|
|
2007-06-08 20:01:23 +02:00
|
|
|
// if (a) delete a;
|
|
|
|
WarningRedundantCode();
|
2007-05-07 19:31:35 +02:00
|
|
|
|
2007-06-08 20:01:23 +02:00
|
|
|
// if (condition);
|
|
|
|
WarningIf();
|
|
|
|
}
|
2007-05-18 20:22:16 +02:00
|
|
|
|
2007-05-19 21:21:14 +02:00
|
|
|
|
2007-05-09 08:50:31 +02:00
|
|
|
// Clean up tokens..
|
2007-05-29 19:12:14 +02:00
|
|
|
DeallocateTokens();
|
2007-07-18 08:12:16 +02:00
|
|
|
|
|
|
|
// Todo: How should this work? Activated by a command line switch?
|
2007-07-24 08:24:12 +02:00
|
|
|
if ( ! HasErrors )
|
|
|
|
std::cout << "No errors found\n";
|
2007-05-07 19:31:35 +02:00
|
|
|
}
|
|
|
|
//---------------------------------------------------------------------------
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2007-05-10 19:25:52 +02:00
|
|
|
|
|
|
|
|
2007-05-19 21:21:14 +02:00
|
|
|
|
|
|
|
|
2007-05-20 19:02:24 +02:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2007-05-21 19:16:35 +02:00
|
|
|
|
|
|
|
|
|
|
|
|
2007-07-20 17:43:39 +02:00
|
|
|
|