CBMC
Loading...
Searching...
No Matches
Macros | Functions
string.c File Reference
#include <string.h>
#include <stdlib.h>
+ Include dependency graph for string.c:

Go to the source code of this file.

Macros

#define  __CPROVER_STRING_H_INCLUDED
 
#define  __CPROVER_STDLIB_H_INCLUDED
 

Functions

char *  __builtin___strcpy_chk (char *dst, const char *src, __CPROVER_size_t s)
 
__inline char *  __builtin___strcat_chk (char *dst, const char *src, __CPROVER_size_t s)
 
__inline char *  __builtin___strncat_chk (char *dst, const char *src, __CPROVER_size_t n, __CPROVER_size_t s)
 
char *  strcpy (char *dst, const char *src)
 
char *  strncpy (char *dst, const char *src, size_t n)
 
char *  __builtin___strncpy_chk (char *dst, const char *src, size_t n, size_t object_size)
 
char *  strcat (char *dst, const char *src)
 
char *  strncat (char *dst, const char *src, size_t n)
 
int  strcmp (const char *s1, const char *s2)
 
int  strcasecmp (const char *s1, const char *s2)
 
int  strncmp (const char *s1, const char *s2, size_t n)
 
int  strncasecmp (const char *s1, const char *s2, size_t n)
 
size_t  strlen (const char *s)
 
char *  strdup (const char *str)
 
void *  memcpy (void *dst, const void *src, size_t n)
 
void *  __builtin___memcpy_chk (void *dst, const void *src, __CPROVER_size_t n, __CPROVER_size_t size)
 
void *  memset (void *s, int c, size_t n)
 
void *  __builtin_memset (void *s, int c, __CPROVER_size_t n)
 
void *  __builtin___memset_chk (void *s, int c, __CPROVER_size_t n, __CPROVER_size_t size)
 
void *  memmove (void *dest, const void *src, size_t n)
 
void *  __builtin___memmove_chk (void *dest, const void *src, size_t n, __CPROVER_size_t size)
 
int  memcmp (const void *s1, const void *s2, size_t n)
 
char *  strchr (const char *src, int c)
 
char *  strrchr (const char *src, int c)
 
char *  strerror (int errnum)
 

Macro Definition Documentation

◆  __CPROVER_STDLIB_H_INCLUDED

#define __CPROVER_STDLIB_H_INCLUDED

Definition at line 584 of file string.c.

◆  __CPROVER_STRING_H_INCLUDED

#define __CPROVER_STRING_H_INCLUDED

Definition at line 134 of file string.c.

Function Documentation

◆  __builtin___memcpy_chk()

void * __builtin___memcpy_chk ( void *  dst,
const void *  src,
__CPROVER_size_t  n,
__CPROVER_size_t  size 
)

Definition at line 659 of file string.c.

◆  __builtin___memmove_chk()

void * __builtin___memmove_chk ( void *  dest,
const void *  src,
size_t  n,
__CPROVER_size_t  size 
)

Definition at line 877 of file string.c.

◆  __builtin___memset_chk()

void * __builtin___memset_chk ( void *  s,
int  c,
__CPROVER_size_t  n,
__CPROVER_size_t  size 
)

Definition at line 789 of file string.c.

◆  __builtin___strcat_chk()

__inline char * __builtin___strcat_chk ( char *  dst,
const char *  src,
__CPROVER_size_t  s 
)

Definition at line 37 of file string.c.

◆  __builtin___strcpy_chk()

char * __builtin___strcpy_chk ( char *  dst,
const char *  src,
__CPROVER_size_t  s 
)

Definition at line 3 of file string.c.

◆  __builtin___strncat_chk()

__inline char * __builtin___strncat_chk ( char *  dst,
const char *  src,
__CPROVER_size_t  n,
__CPROVER_size_t  s 
)

Definition at line 81 of file string.c.

◆  __builtin___strncpy_chk()

char * __builtin___strncpy_chk ( char *  dst,
const char *  src,
size_t  n,
size_t  object_size 
)

Definition at line 214 of file string.c.

◆  __builtin_memset()

void * __builtin_memset ( void *  s,
int  c,
__CPROVER_size_t  n 
)

Definition at line 750 of file string.c.

◆  memcmp()

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

Definition at line 923 of file string.c.

◆  memcpy()

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

Definition at line 613 of file string.c.

◆  memmove()

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

Definition at line 837 of file string.c.

◆  memset()

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

Definition at line 713 of file string.c.

◆  strcasecmp()

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

Definition at line 412 of file string.c.

◆  strcat()

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

Definition at line 262 of file string.c.

◆  strchr()

char * strchr ( const char *  src,
int  c 
)

Definition at line 958 of file string.c.

◆  strcmp()

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

Definition at line 363 of file string.c.

◆  strcpy()

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

Definition at line 139 of file string.c.

◆  strdup()

char * strdup ( const char *  str )

Definition at line 590 of file string.c.

◆  strerror()

char * strerror ( int  errnum )

Definition at line 1014 of file string.c.

◆  strlen()

size_t strlen ( const char *  s )

Definition at line 561 of file string.c.

◆  strncasecmp()

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

Definition at line 511 of file string.c.

◆  strncat()

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

Definition at line 308 of file string.c.

◆  strncmp()

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

Definition at line 464 of file string.c.

◆  strncpy()

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

Definition at line 176 of file string.c.

◆  strrchr()

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

Definition at line 987 of file string.c.

AltStyle によって変換されたページ (->オリジナル) /