string.h File Reference

#include <__esbmc/stddefs.h>
#include <stddef.h>

Include dependency graph for string.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
__ESBMC_C_CPP_BEGIN char *	strcpy (char *__ESBMC_restrict dst, const char *__ESBMC_restrict src)
char *	strncpy (char *__ESBMC_restrict dst, const char *__ESBMC_restrict src, size_t n)
char *	strcat (char *__ESBMC_restrict dst, const char *__ESBMC_restrict src)
char *	strncat (char *__ESBMC_restrict dst, const char *__ESBMC_restrict src, size_t n)
size_t	strlen (const char *s)
int	strcmp (const char *p1, const char *p2)
int	strncmp (const char *s1, const char *s2, size_t n)
char *	strchr (const char *s, int ch)
char *	strrchr (const char *s, int c)
size_t	strspn (const char *s, const char *accept)
size_t	strcspn (const char *s, const char *reject)
char *	strpbrk (const char *s, const char *accept)
char *	strstr (const char *str1, const char *str2)
char *	strtok (char *__ESBMC_restrict str, const char *__ESBMC_restrict delim)
char *	strsep (char **__ESBMC_restrict stringp, const char *__ESBMC_restrict delim)
char *	strdup (const char *str)
char *	strndup (const char *str, size_t n)
char *	strerror (int errnum)
void *	memcpy (void *__ESBMC_restrict dst, const void *__ESBMC_restrict src, size_t n)
void *	memset (void *s, int c, size_t n)
void *	memmove (void *dest, const void *src, size_t n)
int	memcmp (const void *s1, const void *s2, size_t n)
void *	memchr (const void *buf, int ch, size_t n)
size_t	strxfrm (char *__ESBMC_restrict dst, const char *__ESBMC_restrict src, size_t n)
int	strcoll (const char *s1, const char *s2)

Function Documentation

memchr()

void * memchr	(	const void *	buf,
		int	ch,
		size_t	n )

memcmp()

int memcmp	(	const void *	s1,
		const void *	s2,
		size_t	n )

memcpy()

void * memcpy	(	void *__ESBMC_restrict	dst,
		const void *__ESBMC_restrict	src,
		size_t	n )

memmove()

void * memmove	(	void *	dest,
		const void *	src,
		size_t	n )

memset()

void * memset	(	void *	s,
		int	c,
		size_t	n )

strcat()

char * strcat	(	char *__ESBMC_restrict	dst,
		const char *__ESBMC_restrict	src )

strchr()

char * strchr	(	const char *	s,
		int	ch )

strcmp()

int strcmp	(	const char *	p1,
		const char *	p2 )

strcoll()

int strcoll	(	const char *	s1,
		const char *	s2 )

strcpy()

__ESBMC_C_CPP_BEGIN char * strcpy	(	char *__ESBMC_restrict	dst,
		const char *__ESBMC_restrict	src )

strcspn()

size_t strcspn	(	const char *	s,
		const char *	reject )

strdup()

char * strdup

(

const char *

str

)

strerror()

char * strerror

(

int

errnum

)

strlen()

size_t strlen

(

const char *

s

)

strncat()

char * strncat	(	char *__ESBMC_restrict	dst,
		const char *__ESBMC_restrict	src,
		size_t	n )

strncmp()

int strncmp	(	const char *	s1,
		const char *	s2,
		size_t	n )

strncpy()

char * strncpy	(	char *__ESBMC_restrict	dst,
		const char *__ESBMC_restrict	src,
		size_t	n )

strndup()

char * strndup	(	const char *	str,
		size_t	n )

strpbrk()

char * strpbrk	(	const char *	s,
		const char *	accept )

strrchr()

char * strrchr	(	const char *	s,
		int	c )

strsep()

char * strsep	(	char **__ESBMC_restrict	stringp,
		const char *__ESBMC_restrict	delim )

strspn()

size_t strspn	(	const char *	s,
		const char *	accept )

strstr()

char * strstr	(	const char *	str1,
		const char *	str2 )

strtok()

char * strtok	(	char *__ESBMC_restrict	str,
		const char *__ESBMC_restrict	delim )

strxfrm()

size_t strxfrm	(	char *__ESBMC_restrict	dst,
		const char *__ESBMC_restrict	src,
		size_t	n )