|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <socket.h>
Public Attributes | |
| sa_family_t | ss_family |
| char | __ss_pad1 [6] |
| int64_t | __ss_align |
| char | __ss_pad2 [112] |
| int64_t sockaddr_storage::__ss_align |
| char sockaddr_storage::__ss_pad1[6] |
| char sockaddr_storage::__ss_pad2[112] |
| sa_family_t sockaddr_storage::ss_family |