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 660 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 879 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 791 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 752 of file string.c.

memcmp()

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

Definition at line 925 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 839 of file string.c.

memset()

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

Definition at line 715 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 960 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 1016 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 989 of file string.c.