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

Fixed FP for nullpointer dereference when using putchar.

This commit is contained in:
orbitcowboy 2014-04-09 17:02:17 +02:00
parent 9b1d058410
commit baf8d09a0d
2 changed files with 19 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
cfg/std.cfg
View File

@ -212,7 +212,7 @@
<function name="putchar">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"><not-null/><not-uninit/><not-bool/><valid>0-</valid></arg>
<arg nr="1"><not-uninit/><not-bool/><valid>0-</valid></arg>
</function>
<function name="puts">
<noreturn>false</noreturn>

18
test/testnullpointer.cpp
View File

@ -84,6 +84,7 @@ private:
TEST_CASE(nullpointer_internal_error); // #5080
TEST_CASE(nullpointerFputc); // #5645 FP: Null pointer dereference in fputc argument
TEST_CASE(nullpointerMemchr);
TEST_CASE(nullpointerPutchar);
// Test that std.cfg is configured correctly
TEST_CASE(stdcfg);
@ -2573,6 +2574,23 @@ private:
"}\n");
ASSERT_EQUALS("[test.cpp:3]: (error) Possible null pointer dereference: s\n", errout.str());
}
void nullpointerPutchar() {
check("void f (char *c) {\n"
" putchar(c);\n"
"}\n");
ASSERT_EQUALS("", errout.str());
check("void f () {\n"
" putchar(0);\n"
"}\n");
ASSERT_EQUALS("", errout.str());
check("void f () {\n"
" putchar(*0);\n"
"}\n");
ASSERT_EQUALS("[test.cpp:2]: (error) Null pointer dereference\n", errout.str());
}
};
REGISTER_TEST(TestNullPointer)