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

posix.cfg: Do not allow the second parameter of read and write to be a NULL pointer.

This commit is contained in:
orbitcowboy 2017-04-26 14:25:14 +02:00
parent 89532cf8b9
commit 0b6c726439
2 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
cfg/posix.cfg
View File

@ -1059,6 +1059,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<not-uninit/> <not-uninit/>
</arg> </arg>
<arg nr="2"> <arg nr="2">
<not-null/>
<minsize type="argvalue" arg="3"/> <minsize type="argvalue" arg="3"/>
</arg> </arg>
<arg nr="3"> <arg nr="3">
@ -1075,6 +1076,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
</arg> </arg>
<arg nr="2"> <arg nr="2">
<not-uninit/> <not-uninit/>
<not-null/>
<minsize type="argvalue" arg="3"/> <minsize type="argvalue" arg="3"/>
</arg> </arg>
<arg nr="3"> <arg nr="3">

6
test/cfg/posix.c
View File

@ -44,7 +44,7 @@ void bufferAccessOutOfBounds(int fd)
0; 0;
} }
void nullPointer(char *p) void nullPointer(char *p, int fd)
{ {
// cppcheck-suppress ignoredReturnValue // cppcheck-suppress ignoredReturnValue
isatty(0); isatty(0);
@ -56,6 +56,10 @@ void nullPointer(char *p)
// cppcheck-suppress nullPointer // cppcheck-suppress nullPointer
// cppcheck-suppress utimeCalled // cppcheck-suppress utimeCalled
utime(NULL, NULL); utime(NULL, NULL);
// cppcheck-suppress nullPointer
read(fd,NULL,42);
// cppcheck-suppress nullPointer
write(fd,NULL,42);
} }
void memleak_getaddrinfo() void memleak_getaddrinfo()