|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <in.h>
Public Attributes | |
| sa_family_t | sin_family |
| in_port_t | sin_port |
| struct in_addr | sin_addr |
| unsigned char | sin_zero [8] |
| struct in_addr sockaddr_in::sin_addr |
| sa_family_t sockaddr_in::sin_family |
| in_port_t sockaddr_in::sin_port |
| unsigned char sockaddr_in::sin_zero[8] |