netdb.c File Reference

#include <netdb.h>

Include dependency graph for netdb.c:

Go to the source code of this file.

Functions
__CPROVER_bool	__VERIFIER_nondet___CPROVER_bool (void)
struct hostent *	gethostbyname (const char *name)
struct hostent *	gethostbyaddr (const void *addr, socklen_t len, int type)
struct hostent *	gethostent (void)

Function Documentation

__VERIFIER_nondet___CPROVER_bool()

__CPROVER_bool __VERIFIER_nondet___CPROVER_bool

(

void

)

gethostbyaddr()

struct hostent* gethostbyaddr	(	const void *	addr,
		socklen_t	len,
		int	type
	)

Definition at line 40 of file netdb.c.

gethostbyname()

struct hostent* gethostbyname

(

const char *

name

)

Definition at line 11 of file netdb.c.

gethostent()

struct hostent* gethostent

(

void

)

Definition at line 64 of file netdb.c.