walkero
/
cppcheck
1
0
Fork 0
Code Issues Pull Requests Projects Releases 1 Wiki Activity

Fix #903 (false positive: buffer access out of bounds) 

http://sourceforge.net/apps/trac/cppcheck/ticket/903
This commit is contained in:
Reijo Tomperi 2009-11-07 00:58:33 +02:00
parent 77b676937d
commit b222ef89be
2 changed files with 15 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
lib/checkbufferoverrun.cpp
View File

@ -668,6 +668,9 @@ void CheckBufferOverrun::checkGlobalAndLocalVariable()
continue; continue;
} }
if (varid == 0)
continue;
Token sizeTok; Token sizeTok;
sizeTok.str(type); sizeTok.str(type);
int total_size = size * _tokenizer->sizeOfType(&sizeTok); int total_size = size * _tokenizer->sizeOfType(&sizeTok);

12
test/testbufferoverrun.cpp
View File

@ -296,6 +296,18 @@ private:
"}\n"); "}\n");
ASSERT_EQUALS("[test.cpp:6]: (error) Buffer access out-of-bounds\n", errout.str()); ASSERT_EQUALS("[test.cpp:6]: (error) Buffer access out-of-bounds\n", errout.str());
} }
{
check("typedef struct g g2[3];\n"
"void foo(char *a)\n"
"{\n"
" for (int i = 0; i < 4; i++)\n"
" {\n"
" a[i]=0;\n"
" }\n"
"}\n");
ASSERT_EQUALS("", errout.str());
}
} }