From 8c901694b87f97053365b86a698132d325890b65 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= <hyd_danmar@users.sourceforge.net>
Date: Sat, 23 Aug 2008 14:12:08 +0000
Subject: [PATCH] testing: Added 'testbufferoverrun'

---
 Makefile              |   2 +-
 testbufferoverrun.cpp | 292 ++++++++++++++++++++++++++++++++++++++++++
 tests.cpp             | 231 ---------------------------------
 3 files changed, 293 insertions(+), 232 deletions(-)
 create mode 100644 testbufferoverrun.cpp

diff --git a/Makefile b/Makefile
index 33eb503d6..c81588ea9 100644
--- a/Makefile
+++ b/Makefile
@@ -7,7 +7,7 @@ OBJS=$(SRCS:%.cpp=%.o)
 
 all:	${OBJS} main.o
 	g++ -Wall -g -o cppcheck $^
-test:	${OBJS} TestsRunner.o	MiniCppUnit.o	testmemleak.o
+test:	${OBJS} TestsRunner.o	MiniCppUnit.o	testmemleak.o	testbufferoverrun.o
 	g++ -Wall -g -o testsrunner $^
 clean:
 	rm -f *.o cppcheck_test cppcheck
diff --git a/testbufferoverrun.cpp b/testbufferoverrun.cpp
new file mode 100644
index 000000000..9e907b722
--- /dev/null
+++ b/testbufferoverrun.cpp
@@ -0,0 +1,292 @@
+
+#include "tokenize.h"
+#include "CommonCheck.h"
+#include "CheckBufferOverrun.h"
+#include "MiniCppUnit.h"
+
+#include <sstream>
+
+extern std::ostringstream errout;
+extern bool ShowAll;
+
+class TestBufferOverrun : public TestFixture<TestBufferOverrun>
+{
+private:
+    void check( const char code[] )
+    {
+        // Tokenize..
+        tokens = tokens_back = NULL;
+        std::istringstream istr(code);
+        TokenizeCode( istr );
+        SimplifyTokenList();
+
+        // Fill function list
+        FillFunctionList(0);
+
+        // Clear the error buffer..
+        errout.str("");
+
+        // Check for memory leaks..
+        ShowAll = true;
+        CheckBufferOverrun();
+    }
+
+public:
+    TEST_FIXTURE( TestBufferOverrun )
+    {
+        TEST_CASE( noerr1 );
+        TEST_CASE( noerr2 );
+        TEST_CASE( noerr3 );
+
+        TEST_CASE( array_index_1 );
+        TEST_CASE( array_index_2 );
+        TEST_CASE( array_index_3 );
+        TEST_CASE( array_index_4 );
+        TEST_CASE( array_index_5 );
+        TEST_CASE( array_index_6 );
+        TEST_CASE( array_index_7 );
+        TEST_CASE( array_index_8 );
+        TEST_CASE( array_index_9 );
+        TEST_CASE( array_index_10 );
+        TEST_CASE( array_index_11 );
+        //TEST_CASE( array_index_12 );
+    }
+
+
+
+    void noerr1()
+    {
+        check( "void f()\n"
+               "{\n"
+               "    if (ab)\n"
+               "    {\n"
+               "        char str[50];\n"
+               "    }\n"
+               "    if (ab)\n"
+               "    {\n"
+               "        char str[50];\n"
+               "    }\n"
+               "}\n" );
+        ASSERT_EQUALS( std::string(""), errout.str() );
+    }
+
+
+    void noerr2()
+    {
+        check( "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" );
+        ASSERT_EQUALS( std::string(""), errout.str() );
+    }
+
+
+    void noerr3()
+    {
+        check( "static void f()\n"
+               "{\n"
+               "    char data[1];\n"
+               "    return abc.data[1];\n"
+               "}\n" );
+        ASSERT_EQUALS( std::string(""), errout.str() );
+    }
+
+
+    void array_index_1()
+    {
+        check("void f()\n"
+               "{\n"
+               "    char str[0x10];\n"
+               "    str[15] = 0;\n"
+               "    str[16] = 0;\n"
+               "}\n" );
+        ASSERT_EQUALS( std::string("[test.cpp:5]: Array index out of bounds\n"), errout.str() );
+    }
+
+
+    void array_index_2()
+    {
+        check("void f()\n"
+               "{\n"
+               "    char *str = new char[0x10];\n"
+               "    str[15] = 0;\n"
+               "    str[16] = 0;\n"
+               "}\n" );
+        ASSERT_EQUALS( std::string("[test.cpp:5]: Array index out of bounds\n"), errout.str() );
+    }
+
+
+    void array_index_3()
+    {
+        check( "void f()\n"
+               "{\n"
+               "    int val[50];\n"
+               "    for (i = 0; i < 100; i++)\n"
+               "        sum += val[i];\n"
+               "}\n" );
+        ASSERT_EQUALS( std::string("[test.cpp:5]: Buffer overrun\n"), errout.str() );
+    }
+
+
+    void array_index_4()
+    {
+        check( "const int SIZE = 10;\n"
+               "void f()\n"
+               "{\n"
+               "    int i[SIZE];\n"
+               "    i[SIZE] = 0;\n"
+               "}\n" );
+        ASSERT_EQUALS( std::string("[test.cpp:5]: Array index out of bounds\n"), errout.str() );
+    }
+
+
+    void array_index_5()
+    {
+        check( "void f()\n"
+               "{\n"
+               "    int i[10];\n"
+               "    i[ sizeof(i) - 1 ] = 0;\n"
+               "}\n" );
+        ASSERT_EQUALS( std::string("[test.cpp:4]: Array index out of bounds\n"), errout.str() );
+    }
+
+
+    void array_index_6()
+    {
+        check( "struct ABC\n"
+               "{\n"
+               "    char str[10];\n"
+               "};\n"
+               "\n"
+               "static void f()\n"
+               "{\n"
+               "    struct ABC abc;\n"
+               "    abc.str[10] = 0;\n"
+               "}\n" );
+        ASSERT_EQUALS( std::string("[test.cpp:9]: Array index out of bounds\n"), errout.str() );
+    }
+
+
+    void array_index_7()
+    {
+        check( "struct ABC\n"
+               "{\n"
+               "    char str[10];\n"
+               "};\n"
+               "\n"
+               "static void f(ABC *abc)\n"
+               "{\n"
+               "    abc->str[10] = 0;\n"
+               "}\n" );
+        ASSERT_EQUALS( std::string("[test.cpp:8]: Array index out of bounds\n"), errout.str() );
+    }
+
+
+    void array_index_8()
+    {
+        check( "const int SIZE = 10;\n"
+               "\n"
+               "struct ABC\n"
+               "{\n"
+               "    char str[SIZE];\n"
+               "};\n"
+               "\n"
+               "static void f()\n"
+               "{\n"
+               "    struct ABC abc;\n"
+               "    abc.str[SIZE] = 0;\n"
+               "}\n" );
+        ASSERT_EQUALS( std::string("[test.cpp:11]: Array index out of bounds\n"), errout.str() );
+    }
+
+    void array_index_9()
+    {
+        check( "static void memclr( char *data )\n"
+               "{\n"
+               "    data[10] = 0;\n"
+               "}\n"
+               "\n"
+               "static void f()\n"
+               "{\n"
+               "    char str[5];\n"
+               "    memclr( str );   // ERROR\n"
+               "}\n" );
+        ASSERT_EQUALS( std::string("[test.cpp:9] -> [test.cpp:3]: Array index out of bounds\n"), errout.str() );
+    }
+
+
+    void array_index_10()
+    {
+        check( "struct ABC\n"
+               "{\n"
+               "    char str[10];\n"
+               "};\n"
+               "\n"
+               "static void memclr( char *data )\n"
+               "{\n"
+               "    data[10] = 0;\n"
+               "}\n"
+               "\n"
+               "static void f(ABC *abc)\n"
+               "{\n"
+               "    memclr(abc->str);\n"
+               "}\n" );
+        ASSERT_EQUALS( std::string("[test.cpp:13] -> [test.cpp:8]: Array index out of bounds\n"), errout.str() );
+    }
+
+
+    void array_index_11()
+    {
+        check( "class ABC\n"
+               "{\n"
+               "public:\n"
+               "    ABC();\n"
+               "    char *str[10];\n"
+               "    struct ABC *next;"
+               "};\n"
+               "\n"
+               "static void f()\n"
+               "{\n"
+               "    for ( ABC *abc = abc1; abc; abc = abc->next )\n"
+               "    {\n"
+               "        abc->str[10] = 0;\n"
+               "    }\n"
+               "}\n" );
+        ASSERT_EQUALS( std::string("[test.cpp:12]: Array index out of bounds\n"), errout.str() );
+    }
+
+
+    void array_index_12()
+    {
+        check( "class Fred\n"
+               "{\n"
+               "private:\n"
+               "    char str[10];\n"
+               "public:\n"
+               "    Fred();\n"
+               "};\n"
+               "Fred::Fred()\n"
+               "{\n"
+               "    str[10] = 0;\n"
+               "}\n" );
+        ASSERT_EQUALS( std::string("[test.cpp:5]: Array index out of bounds\n"), errout.str() );
+    }
+
+
+};
+
+REGISTER_FIXTURE( TestBufferOverrun )
+
+
diff --git a/tests.cpp b/tests.cpp
index 7eeaf6869..86eac9004 100644
--- a/tests.cpp
+++ b/tests.cpp
@@ -123,237 +123,6 @@ static void buffer_overrun()
     // 3. Buffer overrun
 
 
-    const char *code;
-
-
-    ////////////////////////////////////////////////
-    // NO ERRORS
-    ////////////////////////////////////////////////
-
-    code = "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__, code, "" );
-
-
-    code = "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";
-
-    check( CheckBufferOverrun, __LINE__, code, "" );
-
-
-
-
-    code = "static void f()\n"
-           "{\n"
-           "    char data[1];\n"
-           "    return abc.data[1];\n"
-           "}\n";
-    check( CheckBufferOverrun, __LINE__, code, "" );
-
-
-    // TODO
-    /*
-    code = "static void memclr( char *data, const int bytes )\n"
-           "{\n"
-           "    for (int i = 0; i < bytes; i++)\n"
-           "        data[i] = 0;\n"
-           "}\n"
-           "\n"
-           "static void f()\n"
-           "{\n"
-           "    char str[5];\n"
-           "    memclr( str, 5 );   // OK\n"
-           "    memclr( str+1, 5 );   // ERROR\n"
-           "    memclr( str, 6 );   // ERROR\n"
-           "}\n";
-    check( CheckBufferOverrun, __LINE__, code, "" );
-    */
-
-
-
-
-    ////////////////////////////////////////////////
-    // Array index out of bounds
-    ////////////////////////////////////////////////
-
-    code = "void f()\n"
-           "{\n"
-           "    char str[0x10];\n"
-           "    str[15] = 0;\n"
-           "    str[16] = 0;\n"
-           "}\n";
-    check( CheckBufferOverrun, __LINE__, code, "[test.cpp:5]: Array index out of bounds\n" );
-
-
-    code = "void f()\n"
-           "{\n"
-           "    char *str = new char[0x10];\n"
-           "    str[15] = 0;\n"
-           "    str[16] = 0;\n"
-           "}\n";
-    check( CheckBufferOverrun, __LINE__, code, "[test.cpp:5]: Array index out of bounds\n" );
-
-
-    code = "void f()\n"
-           "{\n"
-           "    int val[50];\n"
-           "    for (i = 0; i < 100; i++)\n"
-           "        sum += val[i];\n"
-           "}\n";
-    check( CheckBufferOverrun, __LINE__, code, "[test.cpp:5]: Buffer overrun\n" );
-
-
-    code = "const int SIZE = 10;\n"
-           "void f()\n"
-           "{\n"
-           "    int i[SIZE];\n"
-           "    i[SIZE] = 0;\n"
-           "}\n";
-    check( CheckBufferOverrun, __LINE__, code, "[test.cpp:5]: Array index out of bounds\n" );
-
-
-    code = "void f()\n"
-           "{\n"
-           "    int i[10];\n"
-           "    i[ sizeof(i) - 1 ] = 0;\n"
-           "}\n";
-    check( CheckBufferOverrun, __LINE__, code, "[test.cpp:4]: Array index out of bounds\n" );
-
-
-
-    code = "struct ABC\n"
-           "{\n"
-           "    char str[10];\n"
-           "};\n"
-           "\n"
-           "static void f()\n"
-           "{\n"
-           "    struct ABC abc;\n"
-           "    abc.str[10] = 0;\n"
-           "}\n";
-    check( CheckBufferOverrun, __LINE__, code, "[test.cpp:9]: Array index out of bounds\n" );
-
-
-
-    code = "struct ABC\n"
-           "{\n"
-           "    char str[10];\n"
-           "};\n"
-           "\n"
-           "static void f(ABC *abc)\n"
-           "{\n"
-           "    abc->str[10] = 0;\n"
-           "}\n";
-    check( CheckBufferOverrun, __LINE__, code, "[test.cpp:8]: Array index out of bounds\n" );
-
-
-    code = "const int SIZE = 10;\n"
-           "\n"
-           "struct ABC\n"
-           "{\n"
-           "    char str[SIZE];\n"
-           "};\n"
-           "\n"
-           "static void f()\n"
-           "{\n"
-           "    struct ABC abc;\n"
-           "    abc.str[SIZE] = 0;\n"
-           "}\n";
-    check( CheckBufferOverrun, __LINE__, code, "[test.cpp:11]: Array index out of bounds\n" );
-
-
-
-
-    code = "static void memclr( char *data )\n"
-           "{\n"
-           "    data[10] = 0;\n"
-           "}\n"
-           "\n"
-           "static void f()\n"
-           "{\n"
-           "    char str[5];\n"
-           "    memclr( str );   // ERROR\n"
-           "}\n";
-    check( CheckBufferOverrun, __LINE__, code, "[test.cpp:9] -> [test.cpp:3]: Array index out of bounds\n" );
-
-
-    code = "struct ABC\n"
-           "{\n"
-           "    char str[10];\n"
-           "};\n"
-           "\n"
-           "static void memclr( char *data )\n"
-           "{\n"
-           "    data[10] = 0;\n"
-           "}\n"
-           "\n"
-           "static void f(ABC *abc)\n"
-           "{\n"
-           "    memclr(abc->str);\n"
-           "}\n";
-    check( CheckBufferOverrun, __LINE__, code, "[test.cpp:13] -> [test.cpp:8]: Array index out of bounds\n" );
-
-
-
-    code = "class ABC\n"
-           "{\n"
-           "public:\n"
-           "    ABC();\n"
-           "    char *str[10];\n"
-           "    struct ABC *next;"
-           "};\n"
-           "\n"
-           "static void f()\n"
-           "{\n"
-           "    for ( ABC *abc = abc1; abc; abc = abc->next )\n"
-           "    {\n"
-           "        abc->str[10] = 0;\n"
-           "    }\n"
-           "}\n";
-    check( CheckBufferOverrun, __LINE__, code, "[test.cpp:12]: Array index out of bounds\n" );
-
-
-
-    // TODO
-    /*
-    const char test[] = "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__, test, "[test.cpp:5]: Array index out of bounds\n" );
-    */
-
-
 
     ////////////////////////////////////////////////
     // Buffer overrun