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

Fixed false negative pointerSize with member variables. 

Fixed wrong comment in testcppcheck.cpp
This commit is contained in:
PKEuS 2015-11-06 12:35:49 +01:00
parent 2d0ecc08c1
commit 61b16909bd
2 changed files with 26 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
lib/checksizeof.cpp
View File

@ -120,14 +120,14 @@ void CheckSizeof::checkSizeofForPointerSize()
// Once leaving those tests, it is mandatory to have:
// - variable matching the used pointer
// - tokVar pointing on the argument where sizeof may be used
if (Token::Match(tok, "[*;{}] %var% = malloc|alloca (")) {
variable = tok->next();
tokSize = tok->tokAt(5);
tokFunc = tok->tokAt(3);
} else if (Token::Match(tok, "[*;{}] %var% = calloc (")) {
variable = tok->next();
tokSize = tok->tokAt(5)->nextArgument();
tokFunc = tok->tokAt(3);
if (Token::Match(tok, "%var% = malloc|alloca (")) {
variable = tok;
tokSize = tok->tokAt(4);
tokFunc = tok->tokAt(2);
} else if (Token::Match(tok, "%var% = calloc (")) {
variable = tok;
tokSize = tok->tokAt(4)->nextArgument();
tokFunc = tok->tokAt(2);
} else if (Token::Match(tok, "return malloc|alloca (")) {
tokSize = tok->tokAt(3);
tokFunc = tok->next();
@ -161,6 +161,9 @@ void CheckSizeof::checkSizeofForPointerSize()
if (!variable)
continue;
while (Token::Match(variable, "%var% ::|."))
variable = variable->tokAt(2);
// Ensure the variables are in the symbol database
// Also ensure the variables are pointers
// Only keep variables which are pointers
@ -186,16 +189,23 @@ void CheckSizeof::checkSizeofForPointerSize()
// This is to allow generic operations with sizeof
for (; tokSize && tokSize->str() != ")" && tokSize->str() != "," && tokSize->str() != "sizeof"; tokSize = tokSize->next()) {}
if (Token::Match(tokSize, "sizeof ( &"))
tokSize = tokSize->tokAt(3);
else if (Token::Match(tokSize, "sizeof (|&"))
tokSize = tokSize->tokAt(2);
else
tokSize = tokSize->next();
while (Token::Match(tokSize, "%var% ::|."))
tokSize = tokSize->tokAt(2);
// Now check for the sizeof usage. Once here, everything using sizeof(varid) or sizeof(&varid)
// looks suspicious
// Do it for first variable
if (variable && (Token::Match(tokSize, "sizeof ( &| %varid% )", variable->varId()) ||
Token::Match(tokSize, "sizeof &| %varid% !!.", variable->varId()))) {
if (variable && tokSize->varId() == variable->varId())
sizeofForPointerError(variable, variable->str());
} else if (variable2 && (Token::Match(tokSize, "sizeof ( &| %varid% )", variable2->varId()) ||
Token::Match(tokSize, "sizeof &| %varid% !!.", variable2->varId()))) {
if (variable2 && tokSize->varId() == variable2->varId())
sizeofForPointerError(variable2, variable2->str());
}
}
}
}

6
test/testsizeof.cpp
View File

@ -536,7 +536,7 @@ private:
check("void f() {\n"
" struct foo {\n"
" char bar[10];\n"
" };\n"
" }* ptr;\n"
" memset( ptr->bar, 0, sizeof ptr->bar );\n"
"}");
ASSERT_EQUALS("", errout.str());
@ -544,10 +544,10 @@ private:
check("void f() {\n"
" struct foo {\n"
" char *bar;\n"
" };\n"
" }* ptr;\n"
" memset( ptr->bar, 0, sizeof ptr->bar );\n"
"}");
TODO_ASSERT_EQUALS("[test.cpp:5]: (warning) Size of pointer 'bar' used instead of size of its data.\n", "", errout.str());
ASSERT_EQUALS("[test.cpp:5]: (warning) Size of pointer 'bar' used instead of size of its data.\n", errout.str());
}
void sizeofDivisionMemset() {