CBMC
Loading...
Searching...
No Matches
Macros | Functions
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.

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