|
Server : Apache/2.2.17 (Unix) mod_ssl/2.2.17 OpenSSL/0.9.8e-fips-rhel5 DAV/2 PHP/5.2.17 System : Linux localhost 2.6.18-419.el5 #1 SMP Fri Feb 24 22:47:42 UTC 2017 x86_64 User : nobody ( 99) PHP Version : 5.2.17 Disable Function : NONE Directory : /usr/share/splint/lib/ |
Upload File : |
/* ** tainted.xh */ /* Library functions annotated for tainted.mts */ extern int printf (/*@untainted@*/ char *format, ...) ; extern int fprintf (FILE *stream, /*@untainted@*/ char *format, ...) ; extern int sprintf (/*@out@*/ char *s, /*@untainted@*/ char *format, ...) /*@ensures s:taintedness = ...:taintedness@*/ ; extern int snprintf (/*@out@*/ char *s, size_t n, /*@untainted@*/ const char *format, ...) /*@ensures s:taintedness = ...:taintedness@*/ ; extern int vprintf (/*@untainted@*/ const char *format, va_list ap); extern int vfprintf(FILE *stream, /*@untainted@*/ const char *format, va_list ap); extern int vsprintf (/*@out@*/ char *str, /*@untainted@*/ const char *format, va_list ap) /*@ensures tainted str@*/ ; extern int vsnprintf (/*@out@*/ char *str, size_t size, /*@untainted@*/ const char *format, va_list ap) /*@ensures tainted str@*/ ; # if 0 extern int vfwprintf (FILE *stream, /*@untainted@*/ const wchar_t *format, va_list arg); extern int vswprintf (wchar_t *s, size_t n, /*@untainted@*/ const wchar_t *format, va_list arg); extern int vwprintf (/*@untainted@*/ const wchar_t *format, va_list arg); # endif # if 0 extern int remove (/*@untainted@*/ char *filename) /*@modifies fileSystem, errno@*/ ; extern int rename (/*@untainted@*/ char *old, /*@untainted@*/ char *new) ; extern /*@observer@*/ char *tmpnam (/*@untainted@*/ char *s) ; extern FILE *fopen (/*@untainted@*/ char *filename, char *mode) ; extern /*@null@*/ FILE *freopen (/*@untainted@*/ char *filename, char *mode, FILE *stream) ; # endif extern /*@null@*/ /*@tainted@*/ char * fgets (/*@returned@*/ /*@out@*/ char *s, int n, FILE *stream) /*@ensures tainted s@*/ /*@modifies *s@*/ ; extern int system (/*@untainted@*/ /*@null@*/ char *s) /*@modifies fileSystem@*/ ; extern void /*@printflike@*/ syslog (int priority, /*@untainted@*/ const char *message, ...) /*@modifies fileSystem@*/ ; extern char *strcpy (/*@returned@*/ /*@anytainted@*/ char *s1, /*@anytainted@*/ char *s2) /*@ensures s1:taintedness = s2:taintedness@*/ ; extern char *strcat (/*@returned@*/ /*@anytainted@*/ char *s1, /*@anytainted@*/ char *s2) /*@ensures s1:taintedness = s1:taintedness | s2:taintedness@*/ /*@ensures result:taintedness = s1:taintedness | s2:taintedness@*/ ;