ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
sockaddr_in Struct Reference

#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]

Member Data Documentation

◆ sin_addr

struct in_addr sockaddr_in::sin_addr

◆ sin_family

sa_family_t sockaddr_in::sin_family

◆ sin_port

in_port_t sockaddr_in::sin_port

◆ sin_zero

unsigned char sockaddr_in::sin_zero[8]

The documentation for this struct was generated from the following file:
  • src/c2goto/headers/netinet/in.h