693 lines
21 KiB
C++
693 lines
21 KiB
C++
|
|
// Unit-testing cppcheck
|
|
|
|
//---------------------------------------------------------------------------
|
|
|
|
#include "tokenize.h" // <- Tokenizer
|
|
#include "Statements.h"
|
|
#include "CommonCheck.h"
|
|
|
|
#include "CheckBufferOverrun.h"
|
|
#include "CheckClass.h"
|
|
#include "CheckMemoryLeak.h"
|
|
#include "CheckOther.h"
|
|
|
|
#include <iostream>
|
|
#include <sstream>
|
|
|
|
//---------------------------------------------------------------------------
|
|
bool ShowAll = true;
|
|
bool CheckCodingStyle = true;
|
|
bool Debug = false;
|
|
//---------------------------------------------------------------------------
|
|
static unsigned int FailCount, SuccessCount;
|
|
//---------------------------------------------------------------------------
|
|
static void internal_statementlist();
|
|
static void buffer_overrun();
|
|
static void constructors();
|
|
static void operator_eq();
|
|
static void memleak_in_function();
|
|
static void memleak_in_class();
|
|
static void division();
|
|
//---------------------------------------------------------------------------
|
|
|
|
int main()
|
|
{
|
|
// Provide a dummy filename for the error messages
|
|
Files.push_back( std::string("test.cpp") );
|
|
|
|
// Check that the statement list is created correctly
|
|
internal_statementlist();
|
|
|
|
// Check that buffer overruns are detected
|
|
buffer_overrun();
|
|
|
|
// Test the constructor-checks
|
|
constructors();
|
|
|
|
// Test the class operator= checking
|
|
operator_eq();
|
|
|
|
// Test that memory leaks in a function are detected
|
|
memleak_in_function();
|
|
|
|
// Test that memory leaks in a class are detected
|
|
memleak_in_class();
|
|
|
|
// Check for dangerous division.. such as "svar / uvar". Treating "svar" as unsigned data is not good
|
|
division();
|
|
|
|
std::cout << "Success Rate: "
|
|
<< SuccessCount
|
|
<< " / "
|
|
<< (SuccessCount + FailCount)
|
|
<< std::endl;
|
|
|
|
return 0;
|
|
}
|
|
//---------------------------------------------------------------------------
|
|
|
|
static void check(void (chk)(),
|
|
const unsigned int line,
|
|
const char code[],
|
|
const char msg[])
|
|
{
|
|
// Tokenize..
|
|
tokens = tokens_back = NULL;
|
|
std::istringstream istr(code);
|
|
TokenizeCode( istr );
|
|
if ( chk != CheckUnsignedDivision )
|
|
SimplifyTokenList();
|
|
|
|
// Check for buffer overruns..
|
|
errout.str("");
|
|
chk();
|
|
|
|
// Check the error messages..
|
|
std::string err( errout.str() );
|
|
if ( err == msg )
|
|
{
|
|
SuccessCount++;
|
|
}
|
|
else
|
|
{
|
|
FailCount++;
|
|
std::cerr << "Failed at line " << line << std::endl
|
|
<< "Unexpected Result:" << std::endl
|
|
<< err << std::endl;
|
|
}
|
|
|
|
// Cleanup..
|
|
DeallocateTokens();
|
|
}
|
|
//---------------------------------------------------------------------------
|
|
|
|
static void statementlist()
|
|
{
|
|
CreateStatementList();
|
|
OutputStatementList( errout );
|
|
}
|
|
|
|
static void internal_statementlist()
|
|
{
|
|
const char code1[] = "void f()\n"
|
|
"{\n"
|
|
" a = 1;\n"
|
|
" b[2] = 3;\n"
|
|
" c[4][5].min = 6;\n"
|
|
" d.min = 7;\n"
|
|
"}\n";
|
|
|
|
const char sl1[] = "{\n"
|
|
"assign a\n"
|
|
"assign b[2]\n"
|
|
"assign c[4][5].min\n"
|
|
"assign d.min\n"
|
|
"}\n";
|
|
|
|
check( statementlist, __LINE__, code1, sl1 );
|
|
|
|
|
|
|
|
|
|
|
|
const char code2[] = "void f()\n"
|
|
"{\n"
|
|
" int a;\n"
|
|
" int b = 2, c, *d = NULL;\n"
|
|
" int e = g(p1,p2);\n"
|
|
" char str[10];\n"
|
|
" return a;\n"
|
|
" delete a;\n"
|
|
"}\n";
|
|
|
|
const char sl2[] = "{\n"
|
|
"decl a\n"
|
|
"decl b\n"
|
|
"assign b\n"
|
|
"decl c\n"
|
|
"decl d\n"
|
|
"assign d\n"
|
|
"use NULL\n"
|
|
"decl e\n"
|
|
"assign e\n"
|
|
"use p1\n"
|
|
"use p2\n"
|
|
"decl str\n"
|
|
"return a\n"
|
|
"delete a\n"
|
|
"}\n";
|
|
|
|
check( statementlist, __LINE__, code2, sl2 );
|
|
|
|
|
|
|
|
|
|
|
|
|
|
const char code3[] = "void f()\n"
|
|
"{\n"
|
|
" if (ab)\n"
|
|
" {\n"
|
|
" }\n"
|
|
" else if (cd)\n"
|
|
" {\n"
|
|
" }\n"
|
|
" else\n"
|
|
" {\n"
|
|
" }\n"
|
|
"}\n";
|
|
|
|
const char sl3[] = "{\n"
|
|
"if\n"
|
|
"use ab\n"
|
|
"endif\n"
|
|
"{\n"
|
|
"}\n"
|
|
"elseif\n"
|
|
"use cd\n"
|
|
"endif\n"
|
|
"{\n"
|
|
"}\n"
|
|
"else\n"
|
|
"endif\n"
|
|
"{\n"
|
|
"}\n"
|
|
"}\n";
|
|
|
|
check( statementlist, __LINE__, code3, sl3 );
|
|
|
|
|
|
|
|
|
|
|
|
|
|
const char code4[] = "void f()\n"
|
|
"{\n"
|
|
" for (int i = 0; i < j; i++)\n"
|
|
" {\n"
|
|
" if (condition)\n"
|
|
" continue;\n"
|
|
" break;\n"
|
|
" }\n"
|
|
"}\n";
|
|
|
|
const char sl4[] = "{\n"
|
|
"loop\n"
|
|
"assign i\n"
|
|
"use i\n"
|
|
"use i\n"
|
|
"use j\n"
|
|
"use i\n"
|
|
"endloop\n"
|
|
"{\n"
|
|
"if\n"
|
|
"use condition\n"
|
|
"continue\n"
|
|
"endif\n"
|
|
"break\n"
|
|
"}\n"
|
|
"}\n";
|
|
|
|
check( statementlist, __LINE__, code4, sl4 );
|
|
|
|
|
|
|
|
|
|
|
|
const char code5[] = "void f()\n"
|
|
"{\n"
|
|
" a = new char[10];\n"
|
|
" fred = new Fred;\n"
|
|
" fred = new Fred();\n"
|
|
"}\n";
|
|
|
|
const char sl5[] = "{\n"
|
|
"new[] a\n"
|
|
"use char[10]\n"
|
|
"new fred\n"
|
|
"use Fred\n"
|
|
"new fred\n"
|
|
"}\n";
|
|
|
|
check( statementlist, __LINE__, code5, sl5 );
|
|
|
|
|
|
|
|
const char code6[] = "void f()\n"
|
|
"{\n"
|
|
" a = b;\n"
|
|
" c = func(d,e);\n"
|
|
"}\n";
|
|
|
|
const char sl6[] = "{\n"
|
|
"assign a\n"
|
|
"use b\n"
|
|
"assign c\n"
|
|
"use d\n"
|
|
"use e\n"
|
|
"}\n";
|
|
|
|
check( statementlist, __LINE__, code6, sl6 );
|
|
|
|
}
|
|
//---------------------------------------------------------------------------
|
|
|
|
static void buffer_overrun()
|
|
{
|
|
// test1: numeric array index
|
|
// test2: variable array index (for-loop)
|
|
// test3: creating several arrays with the same names.
|
|
// test4: using strcpy -> check string length
|
|
// test5: constant array index
|
|
// test6: calculated array index that is out of bounds
|
|
// test7: unknown string length
|
|
|
|
const char test1[] = "void f()\n"
|
|
"{\n"
|
|
" char str[0x10];\n"
|
|
" str[15] = 0;\n"
|
|
" str[16] = 0;\n"
|
|
"}\n";
|
|
check( CheckBufferOverrun, __LINE__, test1, "[test.cpp:5]: Array index out of bounds\n" );
|
|
|
|
|
|
|
|
const char test2[] = "void f()\n"
|
|
"{\n"
|
|
" int val[50];\n"
|
|
" for (i = 0; i < 100; i++)\n"
|
|
" sum += val[i];\n"
|
|
"}\n";
|
|
check( CheckBufferOverrun, __LINE__, test2, "[test.cpp:5]: Buffer overrun\n" );
|
|
|
|
|
|
|
|
const char test3[] = "void f()\n"
|
|
"{\n"
|
|
" if (ab)\n"
|
|
" {\n"
|
|
" char str[50];\n"
|
|
" }\n"
|
|
" if (ab)\n"
|
|
" {\n"
|
|
" char str[50];\n"
|
|
" }\n"
|
|
"}\n";
|
|
check( CheckBufferOverrun, __LINE__, test3, "" );
|
|
|
|
|
|
|
|
const char test4[] = "void f()\n"
|
|
"{\n"
|
|
" char str[3];\n"
|
|
" strcpy(str, \"abc\");\n"
|
|
"}\n";
|
|
check( CheckBufferOverrun, __LINE__, test4, "[test.cpp:4]: Buffer overrun\n" );
|
|
|
|
|
|
|
|
const char test5[] = "const int SIZE = 10;\n"
|
|
"void f()\n"
|
|
"{\n"
|
|
" int i[SIZE];\n"
|
|
" i[SIZE] = 0;\n"
|
|
"}\n";
|
|
check( CheckBufferOverrun, __LINE__, test5, "[test.cpp:5]: Array index out of bounds\n" );
|
|
|
|
|
|
|
|
|
|
const char test6[] = "void f()\n"
|
|
"{\n"
|
|
" int i[10];\n"
|
|
" i[ sizeof(i) - 1 ] = 0;\n"
|
|
"}\n";
|
|
check( CheckBufferOverrun, __LINE__, test6, "[test.cpp:4]: Array index out of bounds\n" );
|
|
|
|
|
|
|
|
|
|
const char test7[] = "void f1(char *str)\n"
|
|
"{\n"
|
|
" strcpy(buf,str);\n"
|
|
"}\n"
|
|
"void f2(char *str)\n"
|
|
"{\n"
|
|
" strcat(buf,str);\n"
|
|
"}\n"
|
|
"void f3(char *str)\n"
|
|
"{\n"
|
|
" sprintf(buf,\"%s\",str);\n"
|
|
"}\n"
|
|
"void f4(const char str[])\n"
|
|
"{\n"
|
|
" strcpy(buf, str);\n"
|
|
"}\n";
|
|
const char err7[] =
|
|
"[test.cpp:3]: A string with unknown length is copied to buffer.\n"
|
|
"[test.cpp:7]: A string with unknown length is copied to buffer.\n"
|
|
"[test.cpp:11]: A string with unknown length is copied to buffer.\n"
|
|
"[test.cpp:15]: A string with unknown length is copied to buffer.\n";
|
|
|
|
check( CheckBufferOverrun, __LINE__, test7, err7 );
|
|
|
|
|
|
// TODO
|
|
/*
|
|
const char test8[] = "class Fred\n"
|
|
"{\n"
|
|
"private:\n"
|
|
" char str[10];\n"
|
|
"public:\n"
|
|
" Fred();\n"
|
|
"};\n"
|
|
"Fred::Fred()\n"
|
|
"{\n"
|
|
" str[10] = 0;\n"
|
|
"}\n";
|
|
check( CheckBufferOverrun, __LINE__, test8, "[test.cpp:5]: Array index out of bounds\n" );
|
|
*/
|
|
}
|
|
//---------------------------------------------------------------------------
|
|
|
|
static void constructors()
|
|
{
|
|
// Test1: No constructor
|
|
// Test2: embedded constructor, uninitialized variable (TODO)
|
|
// Test3: Uninitialized variable
|
|
// Test4: multiple constructors, uninitialized variable
|
|
|
|
const char test1[] = "class Fred\n"
|
|
"{\n"
|
|
"public:\n"
|
|
" int i;\n"
|
|
"};\n";
|
|
check( CheckConstructors, __LINE__, test1, "[test.cpp:1] The class 'Fred' has no constructor\n" );
|
|
|
|
|
|
|
|
|
|
const char test2[] = "class Fred\n"
|
|
"{\n"
|
|
"public:\n"
|
|
" Fred() { }\n"
|
|
" int i;\n"
|
|
"};\n";
|
|
check( CheckConstructors, __LINE__, test2, "[test.cpp:4] Uninitialized member variable 'Fred::i'\n" );
|
|
|
|
|
|
|
|
const char test3[] = "class Fred\n"
|
|
"{\n"
|
|
"public:\n"
|
|
" Fred();\n"
|
|
" int i;\n"
|
|
"};\n"
|
|
"Fred::Fred()\n"
|
|
"{ }\n";
|
|
check( CheckConstructors, __LINE__, test3, "[test.cpp:7] Uninitialized member variable 'Fred::i'\n" );
|
|
|
|
|
|
const char test4[] = "class Fred\n"
|
|
"{\n"
|
|
"public:\n"
|
|
" Fred();\n"
|
|
" Fred(int _i);\n"
|
|
" int i;\n"
|
|
"};\n"
|
|
"Fred::Fred()\n"
|
|
"{ }\n"
|
|
"Fred::Fred(int _i)\n"
|
|
"{\n"
|
|
" i = _i;\n"
|
|
"}\n";
|
|
check( CheckConstructors, __LINE__, test4, "[test.cpp:8] Uninitialized member variable 'Fred::i'\n" );
|
|
|
|
}
|
|
//---------------------------------------------------------------------------
|
|
|
|
void operator_eq()
|
|
{
|
|
const char test1[] = "class Fred\n"
|
|
"{\n"
|
|
"public:\n"
|
|
" void operator=(const int &value);\n"
|
|
"};\n";
|
|
check( CheckOperatorEq1, __LINE__, test1, "[test.cpp:4]: 'operator=' should return something\n" );
|
|
|
|
}
|
|
//---------------------------------------------------------------------------
|
|
|
|
static void memleak_in_function()
|
|
{
|
|
// test1: 'new' but not 'delete'
|
|
// test2: Return allocated memory
|
|
// test3: check all execution paths
|
|
// test4: check all execution paths
|
|
// test5: check all execution paths
|
|
// test6: check all execution paths
|
|
// test7: check all execution paths
|
|
// test8: check all execution paths
|
|
// test9: mismatching allocation / deallocation
|
|
|
|
const char test1[] = "void f()\n"
|
|
"{\n"
|
|
" int *a = new int[10];\n"
|
|
"}\n";
|
|
check( CheckMemoryLeak, __LINE__, test1, "[test.cpp:4]: Memory leak:a\n" );
|
|
|
|
|
|
|
|
|
|
const char test2[] = "Fred *NewFred()\n"
|
|
"{\n"
|
|
" Fred *f = new Fred;\n"
|
|
" return f;\n"
|
|
"}\n";
|
|
check( CheckMemoryLeak, __LINE__, test2, "" );
|
|
|
|
|
|
|
|
|
|
|
|
const char test3[] = "void f()\n"
|
|
"{\n"
|
|
" Fred *fred;\n"
|
|
" if (somecondition)\n"
|
|
" {\n"
|
|
" fred = new Fred;\n"
|
|
" }\n"
|
|
" else\n"
|
|
" {\n"
|
|
" return;\n"
|
|
" }\n"
|
|
" delete fred;\n"
|
|
"}\n";
|
|
check( CheckMemoryLeak, __LINE__, test3, "" );
|
|
|
|
|
|
|
|
const char test4[] = "void f()\n"
|
|
"{\n"
|
|
" for (int i = 0; i < j; i++)\n"
|
|
" {\n"
|
|
" char *str = strdup(\"hello\");\n"
|
|
" if (condition)\n"
|
|
" continue;\n"
|
|
" free(str);\n"
|
|
" }\n"
|
|
"}\n";
|
|
check( CheckMemoryLeak, __LINE__, test4, "[test.cpp:7]: Memory leak:str\n" );
|
|
|
|
|
|
|
|
|
|
|
|
const char test5[] = "void f()\n"
|
|
"{\n"
|
|
" char *str = strdup(\"hello\");\n"
|
|
" while (condition)\n"
|
|
" {\n"
|
|
" if (condition)\n"
|
|
" break;\n"
|
|
" }\n"
|
|
" free(str);\n"
|
|
"}\n";
|
|
check( CheckMemoryLeak, __LINE__, test5, "" );
|
|
|
|
|
|
|
|
|
|
const char test6[] = "void f()\n"
|
|
"{\n"
|
|
" char *str = strdup(\"hello\");\n"
|
|
" if (a==b)\n"
|
|
" {\n"
|
|
" return;\n"
|
|
" }\n"
|
|
" free(str);\n"
|
|
"}\n";
|
|
check( CheckMemoryLeak, __LINE__, test6, "[test.cpp:6]: Memory leak:str\n" );
|
|
|
|
|
|
|
|
|
|
const char test7[] = "void f()\n"
|
|
"{\n"
|
|
" char *str = strdup(\"hello\");\n"
|
|
" if (a==b)\n"
|
|
" {\n"
|
|
" free(str);\n"
|
|
" return;\n"
|
|
" }\n"
|
|
"}\n";
|
|
check( CheckMemoryLeak, __LINE__, test7, "[test.cpp:9]: Memory leak:str\n" );
|
|
|
|
|
|
|
|
|
|
const char test8[] = "void f()\n"
|
|
"{\n"
|
|
" char *str = new char[10];\n"
|
|
" if (a==b)\n"
|
|
" {\n"
|
|
" delete [] str;\n"
|
|
" return;\n"
|
|
" }\n"
|
|
" delete [] str;\n"
|
|
"}\n";
|
|
check( CheckMemoryLeak, __LINE__, test8, "" );
|
|
|
|
|
|
|
|
|
|
const char test9[] = "void f()\n"
|
|
"{\n"
|
|
" int *a = new int[10];\n"
|
|
" free(a);\n"
|
|
"}\n";
|
|
check( CheckMemoryLeak, __LINE__, test9, "[test.cpp:4]: Mismatching allocation and deallocation 'a'\n" );
|
|
}
|
|
//---------------------------------------------------------------------------
|
|
|
|
static void memleak_in_class()
|
|
{
|
|
|
|
|
|
const char test1[] = "class Fred\n"
|
|
"{\n"
|
|
"private:\n"
|
|
" char *str1;\n"
|
|
" char *str2;\n"
|
|
"public:\n"
|
|
" Fred();\n"
|
|
" ~Fred();\n"
|
|
"};\n"
|
|
"\n"
|
|
"Fred::Fred()\n"
|
|
"{\n"
|
|
" str1 = new char[10];\n"
|
|
" str2 = new char[10];\n"
|
|
"}\n"
|
|
"\n"
|
|
"Fred::~Fred()\n"
|
|
"{\n"
|
|
" delete [] str2;\n"
|
|
"}\n";
|
|
|
|
check( CheckMemoryLeak, __LINE__, test1, "Memory leak for 'Fred::str1'\n" );
|
|
|
|
|
|
|
|
|
|
const char test2[] = "class Fred\n"
|
|
"{\n"
|
|
"private:\n"
|
|
" char *str1;\n"
|
|
"public:\n"
|
|
" Fred();\n"
|
|
" ~Fred();\n"
|
|
"};\n"
|
|
"\n"
|
|
"Fred::Fred()\n"
|
|
"{\n"
|
|
" str1 = new char[10];\n"
|
|
"}\n"
|
|
"\n"
|
|
"Fred::~Fred()\n"
|
|
"{\n"
|
|
" free(str1);\n"
|
|
"}\n";
|
|
|
|
check( CheckMemoryLeak, __LINE__, test2, "[test.cpp:17]: Mismatching deallocation for 'Fred::str1'\n" );
|
|
|
|
|
|
|
|
|
|
const char test3[] = "class Fred\n"
|
|
"{\n"
|
|
"private:\n"
|
|
" char *str;\n"
|
|
"public:\n"
|
|
" Fred();\n"
|
|
" ~Fred();\n"
|
|
" void SetStr(const char s[]);"
|
|
"};\n"
|
|
"\n"
|
|
"Fred::Fred()\n"
|
|
"{\n"
|
|
" str = NULL;\n"
|
|
"}\n"
|
|
"\n"
|
|
"Fred::~Fred()\n"
|
|
"{\n"
|
|
" free(str1);\n"
|
|
"}\n"
|
|
"\n"
|
|
"void Fred::SetStr(const char s[])\n"
|
|
"{\n"
|
|
" str = strdup(s);\n"
|
|
"}\n";
|
|
|
|
check( CheckMemoryLeak, __LINE__, test3, "Memory leak for 'Fred::str'\n" );
|
|
|
|
|
|
|
|
}
|
|
//---------------------------------------------------------------------------
|
|
|
|
static void division()
|
|
{
|
|
|
|
const char test1[] = "void f()\n"
|
|
"{\n"
|
|
" unsigned int uvar = 2;\n"
|
|
" return -2 / uvar;\n"
|
|
"}\n";
|
|
check( CheckUnsignedDivision, __LINE__, test1, "[test.cpp:4]: If the result is negative it will be wrong because an operand is unsigned.\n" );
|
|
|
|
|
|
}
|
|
//---------------------------------------------------------------------------
|