|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <socket.h>
Public Attributes | |
| void * | msg_name |
| socklen_t | msg_namelen |
| struct iovec * | msg_iov |
| size_t | msg_iovlen |
| void * | msg_control |
| size_t | msg_controllen |
| int | msg_flags |
| void* msghdr::msg_control |
| size_t msghdr::msg_controllen |
| int msghdr::msg_flags |
| struct iovec* msghdr::msg_iov |
| size_t msghdr::msg_iovlen |
| void* msghdr::msg_name |
| socklen_t msghdr::msg_namelen |