docs/api/string_8h_source.html

#pragma once


#include <__esbmc/stddefs.h>


#include <stddef.h> /* size_t */


__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);


__ESBMC_C_CPP_END

accept
int accept(int sockfd, struct sockaddr *addr, socklen_t *addrlen)
Definition socket_lib.c:100

stddef.h

stddefs.h

__ESBMC_C_CPP_END
#define __ESBMC_C_CPP_END
Definition stddefs.h:9

__ESBMC_restrict
#define __ESBMC_restrict
Definition stddefs.h:10

__ESBMC_C_CPP_BEGIN
#define __ESBMC_C_CPP_BEGIN
Definition stddefs.h:8

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)
Definition string.c:125

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

strcmp
int strcmp(const char *p1, const char *p2)
Definition string.c:107

memset
void * memset(void *s, int c, size_t n)
Definition string.c:355

memmove
void * memmove(void *dest, const void *src, size_t n)
Definition string.c:389

strchr
char * strchr(const char *s, int ch)
Definition string.c:154

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

strndup
char * strndup(const char *str, size_t n)
Definition string.c:305

strerror
char * strerror(int errnum)
Definition syserr.c:1

strpbrk
char * strpbrk(const char *s, const char *accept)
Definition string.c:221

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

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

strspn
size_t strspn(const char *s, const char *accept)
Definition string.c:186

memcmp
int memcmp(const void *s1, const void *s2, size_t n)
Definition string.c:412

strlen
size_t strlen(const char *s)
Definition string.c:89

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

strstr
char * strstr(const char *str1, const char *str2)
Definition string.c:236

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

memchr
void * memchr(const void *buf, int ch, size_t n)
Definition string.c:432

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

strdup
char * strdup(const char *str)
Definition string.c:293

strcspn
size_t strcspn(const char *s, const char *reject)
Definition string.c:207

strrchr
char * strrchr(const char *s, int c)
Definition string.c:164

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