#include <arpa/inet.h>
#include <stdint.h>

Include dependency graph for inet.c:

Macros
#define	__CPROVER_INET_H_INCLUDED
#define	__CPROVER_STDINT_H_INCLUDED

Functions
in_addr_t	__VERIFIER_nondet_in_addr_t (void)
in_addr_t	__inet_addr (const char *cp)
in_addr_t	inet_addr (const char *cp)
int	__VERIFIER_nondet_int (void)
int	__inet_aton (const char cp, struct in_addr pin)
int	inet_aton (const char cp, struct in_addr pin)
char *	__inet_ntoa (struct in_addr in)
char *	inet_ntoa (struct in_addr in)
in_addr_t	__inet_network (const char *cp)
in_addr_t	inet_network (const char *cp)
uint32_t	__builtin_bswap32 (uint32_t)
uint32_t	htonl (uint32_t hostlong)
uint16_t	__builtin_bswap16 (uint16_t)
uint16_t	htons (uint16_t hostshort)
uint32_t	ntohl (uint32_t netlong)
uint16_t	ntohs (uint16_t netshort)

Variables
char	__inet_ntoa_buffer [16]

Macro Definition Documentation

◆ __CPROVER_INET_H_INCLUDED

#define __CPROVER_INET_H_INCLUDED

Definition at line 7 of file inet.c.

◆ __CPROVER_STDINT_H_INCLUDED

#define __CPROVER_STDINT_H_INCLUDED

Definition at line 190 of file inet.c.

Function Documentation

◆ __builtin_bswap16()

uint16_t __builtin_bswap16 ( uint16_t )

◆ __builtin_bswap32()

uint32_t __builtin_bswap32 ( uint32_t )

◆ __inet_addr()

in_addr_t __inet_addr ( const char * cp )

Definition at line 12 of file inet.c.

◆ __inet_aton()

int __inet_aton	(	const char *	cp,
		struct in_addr *	pin )

Definition at line 59 of file inet.c.

◆ __inet_network()

in_addr_t __inet_network ( const char * cp )

Definition at line 150 of file inet.c.

◆ __inet_ntoa()

char * __inet_ntoa ( struct in_addr in )

Definition at line 107 of file inet.c.

◆ __VERIFIER_nondet_in_addr_t()

in_addr_t __VERIFIER_nondet_in_addr_t ( void )

◆ __VERIFIER_nondet_int()

int __VERIFIER_nondet_int ( void )

◆ htonl()

uint32_t htonl ( uint32_t hostlong )

Definition at line 197 of file inet.c.

◆ htons()

uint16_t htons ( uint16_t hostshort )

Definition at line 217 of file inet.c.

◆ inet_addr()

in_addr_t inet_addr ( const char * cp )

Definition at line 40 of file inet.c.

◆ inet_aton()

int inet_aton	(	const char *	cp,
		struct in_addr *	pin )

Definition at line 88 of file inet.c.

◆ inet_network()

in_addr_t inet_network ( const char * cp )

Definition at line 178 of file inet.c.

◆ inet_ntoa()

char * inet_ntoa ( struct in_addr in )

Definition at line 131 of file inet.c.

◆ ntohl()

uint32_t ntohl ( uint32_t netlong )

Definition at line 238 of file inet.c.

◆ ntohs()

uint16_t ntohs ( uint16_t netshort )

Definition at line 259 of file inet.c.

Variable Documentation

◆ __inet_ntoa_buffer

char __inet_ntoa_buffer[16]

Definition at line 105 of file inet.c.

Macros

Functions

Variables