socket_lib.c File Reference

#include <errno.h>
#include <stddef.h>
#include <stdint.h>
#include <sys/socket.h>
#include <sys/select.h>

Include dependency graph for socket_lib.c:

Functions
int	__VERIFIER_nondet_int (void)
short	__VERIFIER_nondet_short (void)
size_t	__VERIFIER_nondet_size_t (void)
uint8_t	__VERIFIER_nondet_uchar (void)
unsigned long	__VERIFIER_nondet_ulong (void)
int	socket (int domain, int type, int protocol)
int	bind (int sockfd, const struct sockaddr *addr, socklen_t addrlen)
int	listen (int sockfd, int backlog)
int	accept (int sockfd, struct sockaddr *addr, socklen_t *addrlen)
int	connect (int sockfd, const struct sockaddr *addr, socklen_t addrlen)
ssize_t	recv (int sockfd, void *buf, size_t len, int flags)
ssize_t	send (int sockfd, const void *buf, size_t len, int flags)
ssize_t	recvfrom (int sockfd, void *buf, size_t len, int flags, struct sockaddr *src_addr, socklen_t *addrlen)
ssize_t	sendto (int sockfd, const void *buf, size_t len, int flags, const struct sockaddr *dest_addr, socklen_t addrlen)
int	setsockopt (int sockfd, int level, int optname, const void *optval, socklen_t optlen)
int	getsockopt (int sockfd, int level, int optname, void *optval, socklen_t *optlen)
int	getsockname (int sockfd, struct sockaddr *addr, socklen_t *addrlen)
int	getpeername (int sockfd, struct sockaddr *addr, socklen_t *addrlen)
int	shutdown (int sockfd, int how)
static void	__esbmc_fd_set_havoc (fd_set *set)
int	select (int nfds, fd_set *readfds, fd_set *writefds, fd_set *exceptfds, struct timeval *timeout)
int	poll (struct pollfd *fds, unsigned long nfds, int timeout)
uint32_t	inet_addr (const char *cp)
int	inet_pton (int af, const char *src, void *dst)

Function Documentation

__esbmc_fd_set_havoc()

void __esbmc_fd_set_havoc ( fd_set * set )

static

__VERIFIER_nondet_int()

int __VERIFIER_nondet_int ( void )

extern

__VERIFIER_nondet_short()

short __VERIFIER_nondet_short ( void )

extern

__VERIFIER_nondet_size_t()

size_t __VERIFIER_nondet_size_t ( void )

extern

__VERIFIER_nondet_uchar()

uint8_t __VERIFIER_nondet_uchar ( void )

extern

__VERIFIER_nondet_ulong()

unsigned long __VERIFIER_nondet_ulong ( void )

extern

accept()

int accept	(	int	sockfd,
		struct sockaddr *	addr,
		socklen_t *	addrlen )

bind()

int bind	(	int	sockfd,
		const struct sockaddr *	addr,
		socklen_t	addrlen )

connect()

int connect	(	int	sockfd,
		const struct sockaddr *	addr,
		socklen_t	addrlen )

getpeername()

int getpeername	(	int	sockfd,
		struct sockaddr *	addr,
		socklen_t *	addrlen )

getsockname()

int getsockname	(	int	sockfd,
		struct sockaddr *	addr,
		socklen_t *	addrlen )

getsockopt()

int getsockopt	(	int	sockfd,
		int	level,
		int	optname,
		void *	optval,
		socklen_t *	optlen )

inet_addr()

uint32_t inet_addr

(

const char *

cp

)

inet_pton()

int inet_pton	(	int	af,
		const char *	src,
		void *	dst )

listen()

int listen	(	int	sockfd,
		int	backlog )

poll()

int poll	(	struct pollfd *	fds,
		unsigned long	nfds,
		int	timeout )

recv()

ssize_t recv	(	int	sockfd,
		void *	buf,
		size_t	len,
		int	flags )

recvfrom()

ssize_t recvfrom	(	int	sockfd,
		void *	buf,
		size_t	len,
		int	flags,
		struct sockaddr *	src_addr,
		socklen_t *	addrlen )

select()

int select	(	int	nfds,
		fd_set *	readfds,
		fd_set *	writefds,
		fd_set *	exceptfds,
		struct timeval *	timeout )

send()

ssize_t send	(	int	sockfd,
		const void *	buf,
		size_t	len,
		int	flags )

sendto()

ssize_t sendto	(	int	sockfd,
		const void *	buf,
		size_t	len,
		int	flags,
		const struct sockaddr *	dest_addr,
		socklen_t	addrlen )

setsockopt()

int setsockopt	(	int	sockfd,
		int	level,
		int	optname,
		const void *	optval,
		socklen_t	optlen )

shutdown()

int shutdown	(	int	sockfd,
		int	how )

socket()

int socket	(	int	domain,
		int	type,
		int	protocol )