inet.c File Reference

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

Include dependency graph for inet.c:

Go to the source code of this file.

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.