ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
string.c File Reference
#include <string.h>
#include <stdlib.h>
#include <ctype.h>
Include dependency graph for string.c:

Functions

char * strcpy (char *dst, const char *src)
char * strncpy (char *dst, const char *src, size_t n)
char * strcat (char *dst, const char *src)
char * strncat (char *dst, const char *src, size_t n)
size_t strlen (const char *s)
size_t strnlen (const char *s, size_t maxlen)
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 *str, const char *delim)
char * strsep (char **stringp, const char *delim)
char * strdup (const char *str)
char * strndup (const char *str, size_t n)
void * __memcpy_impl (void *dst, const void *src, size_t n)
void * memcpy (void *dst, const void *src, size_t n)
void * __memset_impl (void *s, int c, size_t n)
void * memset (void *s, int c, size_t n)
void * __memmove_impl (void *dest, const void *src, size_t n)
void * memmove (void *dest, const void *src, size_t n)
int __memcmp_impl (const void *s1, const void *s2, size_t n)
int memcmp (const void *s1, const void *s2, size_t n)
void * __memchr_impl (const void *buf, int ch, size_t n)
void * memchr (const void *buf, int ch, size_t n)

Function Documentation

◆ __memchr_impl()

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

◆ __memcmp_impl()

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

◆ __memcpy_impl()

void * __memcpy_impl ( void * dst,
const void * src,
size_t n )

◆ __memmove_impl()

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

◆ __memset_impl()

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

◆ 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 * dst,
const void * 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 * dst,
const char * src )

◆ strchr()

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

◆ strcmp()

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

◆ strcpy()

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

◆ strcspn()

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

◆ strdup()

char * strdup ( const char * str)

◆ strlen()

size_t strlen ( const char * s)

◆ strncat()

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

◆ strncmp()

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

◆ strncpy()

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

◆ strndup()

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

◆ strnlen()

size_t strnlen ( const char * s,
size_t maxlen )

◆ strpbrk()

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

◆ strrchr()

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

◆ strsep()

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

◆ strspn()

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

◆ strstr()

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

◆ strtok()

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