stdio.c File Reference

#include <stdio.h>
#include <stdlib.h>
#include <stdarg.h>

Include dependency graph for stdio.c:

Go to the source code of this file.

Macros
#define	__CPROVER_STDIO_H_INCLUDED
#define	__CPROVER_STDLIB_H_INCLUDED
#define	__CPROVER_STDARG_H_INCLUDED

Functions
__CPROVER_bool	__VERIFIER_nondet___CPROVER_bool (void)
int	putchar (int c)
int	__VERIFIER_nondet_int (void)
int	puts (const char *s)
void	fclose_cleanup (void *stream)
FILE *	fopen64 (const char *filename, const char *mode)
FILE *	fopen (const char *filename, const char *mode)
FILE *	freopen64 (const char *filename, const char *mode, FILE *f)
FILE *	freopen (const char *filename, const char *mode, FILE *f)
int	fclose (FILE *stream)
FILE *	fdopen (int handle, const char *mode)
char *	fgets (char *str, int size, FILE *stream)
char *	__fgets_chk (char *str, __CPROVER_size_t bufsize, int size, FILE *stream)
char	__VERIFIER_nondet_char (void)
size_t	__VERIFIER_nondet_size_t (void)
size_t	fread (void *ptr, size_t size, size_t nitems, FILE *stream)
size_t	__fread_chk (void *ptr, size_t ptrlen, size_t size, size_t nitems, FILE *stream)
int	feof (FILE *stream)
int	ferror (FILE *stream)
int	fileno (FILE *stream)
int	fputs (const char *s, FILE *stream)
int	fflush (FILE *stream)
int	fpurge (FILE *stream)
int	fgetc (FILE *stream)
int	getc (FILE *stream)
int	getchar (void)
int	getw (FILE *stream)
int	fseek (FILE *stream, long offset, int whence)
long	__VERIFIER_nondet_long (void)
long	ftell (FILE *stream)
void	rewind (FILE *stream)
size_t	fwrite (const void *ptr, size_t size, size_t nitems, FILE *stream)
void	perror (const char *s)
int	fscanf (FILE *restrict stream, const char *restrict format,...)
int	__isoc99_fscanf (FILE *restrict stream, const char *restrict format,...)
int	scanf (const char *restrict format,...)
int	__isoc99_scanf (const char *restrict format,...)
int	sscanf (const char *restrict s, const char *restrict format,...)
int	__isoc99_sscanf (const char *restrict s, const char *restrict format,...)
int	vfscanf (FILE *restrict stream, const char *restrict format, va_list arg)
int	__isoc99_vfscanf (FILE *restrict stream, const char *restrict format, va_list arg)
int	vscanf (const char *restrict format, va_list arg)
int	__isoc99_vscanf (const char *restrict format, va_list arg)
int	vsscanf (const char *restrict s, const char *restrict format, va_list arg)
int	__isoc99_vsscanf (const char *restrict s, const char *restrict format, va_list arg)
int	printf (const char *format,...)
int	__printf_chk (int flag, const char *format,...)
int	fprintf (FILE *stream, const char *restrict format,...)
int	__fprintf_chk (FILE *stream, int flag, const char *restrict format,...)
int	vfprintf (FILE *stream, const char *restrict format, va_list arg)
int	__vfprintf_chk (FILE *stream, int flag, const char *restrict format, va_list arg)
int	vasprintf (char **ptr, const char *fmt, va_list ap)
int	asprintf (char **ptr, const char *fmt,...)
int	dprintf (int fd, const char *restrict format,...)
int	vdprintf (int fd, const char *restrict format, va_list arg)
int	snprintf (char *str, size_t size, const char *fmt,...)
int	__builtin___vsnprintf_chk (char *str, size_t size, int flag, size_t bufsize, const char *fmt, va_list ap)
int	__builtin___snprintf_chk (char *str, size_t size, int flag, size_t bufsize, const char *fmt,...)
int	vsnprintf (char *str, size_t size, const char *fmt, va_list ap)

Macro Definition Documentation

__CPROVER_STDARG_H_INCLUDED

#define __CPROVER_STDARG_H_INCLUDED

Definition at line 973 of file stdio.c.

__CPROVER_STDIO_H_INCLUDED

#define __CPROVER_STDIO_H_INCLUDED

Definition at line 6 of file stdio.c.

__CPROVER_STDLIB_H_INCLUDED

#define __CPROVER_STDLIB_H_INCLUDED

Definition at line 70 of file stdio.c.

Function Documentation

__builtin___snprintf_chk()

int __builtin___snprintf_chk	(	char *	str,
		size_t	size,
		int	flag,
		size_t	bufsize,
		const char *	fmt,
			... )

Definition at line 1795 of file stdio.c.

__builtin___vsnprintf_chk()

int __builtin___vsnprintf_chk	(	char *	str,
		size_t	size,
		int	flag,
		size_t	bufsize,
		const char *	fmt,
		va_list	ap )

Definition at line 1878 of file stdio.c.

__fgets_chk()

char * __fgets_chk	(	char *	str,
		__CPROVER_size_t	bufsize,
		int	size,
		FILE *	stream )

Definition at line 376 of file stdio.c.

__fprintf_chk()

int __fprintf_chk	(	FILE *	stream,
		int	flag,
		const char *restrict	format,
			... )

Definition at line 1541 of file stdio.c.

__fread_chk()

size_t __fread_chk	(	void *	ptr,
		size_t	ptrlen,
		size_t	size,
		size_t	nitems,
		FILE *	stream )

Definition at line 473 of file stdio.c.

__isoc99_fscanf()

int __isoc99_fscanf	(	FILE *restrict	stream,
		const char *restrict	format,
			... )

Definition at line 1000 of file stdio.c.

__isoc99_scanf()

int __isoc99_scanf	(	const char *restrict	format,
			... )

Definition at line 1048 of file stdio.c.

__isoc99_sscanf()

int __isoc99_sscanf	(	const char *restrict	s,
		const char *restrict	format,
			... )

Definition at line 1096 of file stdio.c.

__isoc99_vfscanf()

int __isoc99_vfscanf	(	FILE *restrict	stream,
		const char *restrict	format,
		va_list	arg )

Definition at line 1177 of file stdio.c.

__isoc99_vscanf()

int __isoc99_vscanf	(	const char *restrict	format,
		va_list	arg )

Definition at line 1313 of file stdio.c.

__isoc99_vsscanf()

int __isoc99_vsscanf	(	const char *restrict	s,
		const char *restrict	format,
		va_list	arg )

Definition at line 1376 of file stdio.c.

__printf_chk()

int __printf_chk	(	int	flag,
		const char *	format,
			... )

Definition at line 1495 of file stdio.c.

__VERIFIER_nondet___CPROVER_bool()

__CPROVER_bool __VERIFIER_nondet___CPROVER_bool

(

void

)

__VERIFIER_nondet_char()

char __VERIFIER_nondet_char

(

void

)

__VERIFIER_nondet_int()

int __VERIFIER_nondet_int

(

void

)

__VERIFIER_nondet_long()

long __VERIFIER_nondet_long

(

void

)

__VERIFIER_nondet_size_t()

size_t __VERIFIER_nondet_size_t

(

void

)

__vfprintf_chk()

int __vfprintf_chk	(	FILE *	stream,
		int	flag,
		const char *restrict	format,
		va_list	arg )

Definition at line 1606 of file stdio.c.

asprintf()

int asprintf	(	char **	ptr,
		const char *	fmt,
			... )

Definition at line 1648 of file stdio.c.

dprintf()

int dprintf	(	int	fd,
		const char *restrict	format,
			... )

Definition at line 1669 of file stdio.c.

fclose()

int fclose

(

FILE *

stream

)

Definition at line 230 of file stdio.c.

fclose_cleanup()

void fclose_cleanup

(

void *

stream

)

fdopen()

FILE * fdopen	(	int	handle,
		const char *	mode )

Definition at line 256 of file stdio.c.

feof()

int feof

(

FILE *

stream

)

Definition at line 511 of file stdio.c.

ferror()

int ferror

(

FILE *

stream

)

Definition at line 543 of file stdio.c.

fflush()

int fflush

(

FILE *

stream

)

Definition at line 647 of file stdio.c.

fgetc()

int fgetc

(

FILE *

stream

)

Definition at line 704 of file stdio.c.

fgets()

char * fgets	(	char *	str,
		int	size,
		FILE *	stream )

Definition at line 321 of file stdio.c.

fileno()

int fileno

(

FILE *

stream

)

Definition at line 575 of file stdio.c.

fopen()

FILE * fopen	(	const char *	filename,
		const char *	mode )

Definition at line 77 of file stdio.c.

fopen64()

FILE * fopen64	(	const char *	filename,
		const char *	mode )

Definition at line 147 of file stdio.c.

fprintf()

int fprintf	(	FILE *	stream,
		const char *restrict	format,
			... )

Definition at line 1519 of file stdio.c.

fpurge()

int fpurge

(

FILE *

stream

)

Definition at line 672 of file stdio.c.

fputs()

int fputs	(	const char *	s,
		FILE *	stream )

Definition at line 611 of file stdio.c.

fread()

size_t fread	(	void *	ptr,
		size_t	size,
		size_t	nitems,
		FILE *	stream )

Definition at line 433 of file stdio.c.

freopen()

FILE * freopen	(	const char *	filename,
		const char *	mode,
		FILE *	f )

Definition at line 189 of file stdio.c.

freopen64()

FILE * freopen64	(	const char *	filename,
		const char *	mode,
		FILE *	f )

Definition at line 202 of file stdio.c.

fscanf()

int fscanf	(	FILE *restrict	stream,
		const char *restrict	format,
			... )

Definition at line 976 of file stdio.c.

fseek()

int fseek	(	FILE *	stream,
		long	offset,
		int	whence )

Definition at line 829 of file stdio.c.

ftell()

long ftell

(

FILE *

stream

)

Definition at line 859 of file stdio.c.

fwrite()

size_t fwrite	(	const void *	ptr,
		size_t	size,
		size_t	nitems,
		FILE *	stream )

Definition at line 910 of file stdio.c.

getc()

int getc

(

FILE *

stream

)

Definition at line 740 of file stdio.c.

getchar()

int getchar

(

void

)

Definition at line 776 of file stdio.c.

getw()

int getw

(

FILE *

stream

)

Definition at line 795 of file stdio.c.

perror()

void perror

(

const char *

s

)

Definition at line 946 of file stdio.c.

printf()

int printf	(	const char *	format,
			... )

Definition at line 1470 of file stdio.c.

putchar()

int putchar

(

int

c

)

Definition at line 21 of file stdio.c.

puts()

int puts

(

const char *

s

)

Definition at line 39 of file stdio.c.

rewind()

void rewind

(

FILE *

stream

)

Definition at line 885 of file stdio.c.

scanf()

int scanf	(	const char *restrict	format,
			... )

Definition at line 1024 of file stdio.c.

snprintf()

int snprintf	(	char *	str,
		size_t	size,
		const char *	fmt,
			... )

Definition at line 1766 of file stdio.c.

sscanf()

int sscanf	(	const char *restrict	s,
		const char *restrict	format,
			... )

Definition at line 1072 of file stdio.c.

vasprintf()

int vasprintf	(	char **	ptr,
		const char *	fmt,
		va_list	ap )

Definition at line 1726 of file stdio.c.

vdprintf()

int vdprintf	(	int	fd,
		const char *restrict	format,
		va_list	arg )

Definition at line 1693 of file stdio.c.

vfprintf()

int vfprintf	(	FILE *	stream,
		const char *restrict	format,
		va_list	arg )

Definition at line 1566 of file stdio.c.

vfscanf()

int vfscanf	(	FILE *restrict	stream,
		const char *restrict	format,
		va_list	arg )

Definition at line 1122 of file stdio.c.

vscanf()

int vscanf	(	const char *restrict	format,
		va_list	arg )

Definition at line 1293 of file stdio.c.

vsnprintf()

int vsnprintf	(	char *	str,
		size_t	size,
		const char *	fmt,
		va_list	ap )

Definition at line 1826 of file stdio.c.

vsscanf()

int vsscanf	(	const char *restrict	s,
		const char *restrict	format,
		va_list	arg )

Definition at line 1335 of file stdio.c.