[analyzer][StdLibraryFunctionsChecker] Add POSIX networking functions
authorGabor Marton <gabor.marton@ericsson.com>
Tue, 7 Jul 2020 16:34:20 +0000 (18:34 +0200)
committerGabor Marton <gabor.marton@ericsson.com>
Mon, 20 Jul 2020 20:46:24 +0000 (22:46 +0200)
commit3ff220de900970a20c9882b7199c178c6b6428b2
tree0e33c00c558bf5ded9b03310661dc0138b496217
parent78f543e5a1cd46b5232d5479dd513d2110f52e96
[analyzer][StdLibraryFunctionsChecker] Add POSIX networking functions

Summary:
Adding networking functions from the POSIX standard (2017). This includes
functions that deal with sockets from socket.h, netdb.h.

In 'socket.h' of some libc implementations (e.g. glibc) with C99, sockaddr
parameter is a transparent union of the underlying sockaddr_ family of pointers
instead of being a pointer to struct sockaddr. In these cases, the standardized
signature will not match, thus we try to match with another signature that has
the joker Irrelevant type. In the case of transparent unions, we also not add
those constraints which require pointer types for the sockaddr param.

Interestingly, in 'netdb.h' sockaddr is not handled as a transparent union.

Tags: #clang

Differential Revision: https://reviews.llvm.org/D83407
clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp
clang/test/Analysis/std-c-library-functions-POSIX-socket-sockaddr.cpp [new file with mode: 0644]
clang/test/Analysis/std-c-library-functions-POSIX.c