HomePhabricator

[analyzer][StdLibraryFunctionsChecker] Add POSIX networking functions

Authored by martong on Jul 7 2020, 9:34 AM.

Description

[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

Details

Committed
martongJul 20 2020, 1:46 PM
Differential Revision
D83407: [analyzer][StdLibraryFunctionsChecker] Add POSIX networking functions
Parents
rG78f543e5a1cd: [NFC] Use std::free instead of ::free
Branches
Unknown
Tags
Unknown