1// RUN: %clang_cc1 -analyze -analyzer-checker=experimental.security.taint,core,experimental.security.ArrayBoundV2 -Wno-format-security -verify %s 2 3int scanf(const char *restrict format, ...); 4int getchar(void); 5 6typedef struct _FILE FILE; 7extern FILE *stdin; 8int fscanf(FILE *restrict stream, const char *restrict format, ...); 9int sprintf(char *str, const char *format, ...); 10void setproctitle(const char *fmt, ...); 11typedef __typeof(sizeof(int)) size_t; 12 13// Define string functions. Use builtin for some of them. They all default to 14// the processing in the taint checker. 15#define strcpy(dest, src) \ 16 ((__builtin_object_size(dest, 0) != -1ULL) \ 17 ? __builtin___strcpy_chk (dest, src, __builtin_object_size(dest, 1)) \ 18 : __inline_strcpy_chk(dest, src)) 19 20static char *__inline_strcpy_chk (char *dest, const char *src) { 21 return __builtin___strcpy_chk(dest, src, __builtin_object_size(dest, 1)); 22} 23char *stpcpy(char *restrict s1, const char *restrict s2); 24char *strncpy( char * destination, const char * source, size_t num ); 25char *strndup(const char *s, size_t n); 26char *strncat(char *restrict s1, const char *restrict s2, size_t n); 27 28void *malloc(size_t); 29void *calloc(size_t nmemb, size_t size); 30void bcopy(void *s1, void *s2, size_t n); 31 32#define BUFSIZE 10 33 34int Buffer[BUFSIZE]; 35void bufferScanfDirect(void) 36{ 37 int n; 38 scanf("%d", &n); 39 Buffer[n] = 1; // expected-warning {{Out of bound memory access }} 40} 41 42void bufferScanfArithmetic1(int x) { 43 int n; 44 scanf("%d", &n); 45 int m = (n - 3); 46 Buffer[m] = 1; // expected-warning {{Out of bound memory access }} 47} 48 49void bufferScanfArithmetic2(int x) { 50 int n; 51 scanf("%d", &n); 52 int m = 100 - (n + 3) * x; 53 Buffer[m] = 1; // expected-warning {{Out of bound memory access }} 54} 55 56void bufferScanfAssignment(int x) { 57 int n; 58 scanf("%d", &n); 59 int m; 60 if (x > 0) { 61 m = n; 62 Buffer[m] = 1; // expected-warning {{Out of bound memory access }} 63 } 64} 65 66void scanfArg() { 67 int t = 0; 68 scanf("%d", t); // expected-warning {{format specifies type 'int *' but the argument has type 'int'}} 69} 70 71void bufferGetchar(int x) { 72 int m = getchar(); 73 Buffer[m] = 1; //expected-warning {{Out of bound memory access (index is tainted)}} 74} 75 76void testUncontrolledFormatString(char **p) { 77 char s[80]; 78 fscanf(stdin, "%s", s); 79 char buf[128]; 80 sprintf(buf,s); // expected-warning {{Uncontrolled Format String}} 81 setproctitle(s, 3); // expected-warning {{Uncontrolled Format String}} 82 83 // Test taint propagation through strcpy and family. 84 char scpy[80]; 85 strcpy(scpy, s); 86 sprintf(buf,scpy); // expected-warning {{Uncontrolled Format String}} 87 88 stpcpy(*(++p), s); // this generates __inline. 89 setproctitle(*(p), 3); // expected-warning {{Uncontrolled Format String}} 90 91 char spcpy[80]; 92 stpcpy(spcpy, s); 93 setproctitle(spcpy, 3); // expected-warning {{Uncontrolled Format String}} 94 95 char *spcpyret; 96 spcpyret = stpcpy(spcpy, s); 97 setproctitle(spcpyret, 3); // expected-warning {{Uncontrolled Format String}} 98 99 char sncpy[80]; 100 strncpy(sncpy, s, 20); 101 setproctitle(sncpy, 3); // expected-warning {{Uncontrolled Format String}} 102 103 char *dup; 104 dup = strndup(s, 20); 105 setproctitle(dup, 3); // expected-warning {{Uncontrolled Format String}} 106 107} 108 109int system(const char *command); 110void testTaintSystemCall() { 111 char buffer[156]; 112 char addr[128]; 113 scanf("%s", addr); 114 system(addr); // expected-warning {{Untrusted data is passed to a system call}} 115 116 // Test that spintf transfers taint. 117 sprintf(buffer, "/bin/mail %s < /tmp/email", addr); 118 system(buffer); // expected-warning {{Untrusted data is passed to a system call}} 119} 120 121void testTaintSystemCall2() { 122 // Test that snpintf transfers taint. 123 char buffern[156]; 124 char addr[128]; 125 scanf("%s", addr); 126 __builtin_snprintf(buffern, 10, "/bin/mail %s < /tmp/email", addr); 127 system(buffern); // expected-warning {{Untrusted data is passed to a system call}} 128} 129 130void testTaintSystemCall3() { 131 char buffern2[156]; 132 int numt; 133 char addr[128]; 134 scanf("%s %d", addr, &numt); 135 __builtin_snprintf(buffern2, numt, "/bin/mail %s < /tmp/email", "abcd"); 136 system(buffern2); // expected-warning {{Untrusted data is passed to a system call}} 137} 138 139void testTaintedBufferSize() { 140 size_t ts; 141 scanf("%zd", &ts); 142 143 int *buf1 = (int*)malloc(ts*sizeof(int)); // expected-warning {{Untrusted data is used to specify the buffer size}} 144 char *dst = (char*)calloc(ts, sizeof(char)); //expected-warning {{Untrusted data is used to specify the buffer size}} 145 bcopy(buf1, dst, ts); // expected-warning {{Untrusted data is used to specify the buffer size}} 146 __builtin_memcpy(dst, buf1, (ts + 4)*sizeof(char)); // expected-warning {{Untrusted data is used to specify the buffer size}} 147 148 // If both buffers are trusted, do not issue a warning. 149 char *dst2 = (char*)malloc(ts*sizeof(char)); // expected-warning {{Untrusted data is used to specify the buffer size}} 150 strncat(dst2, dst, ts); // no-warning 151} 152 153#define AF_UNIX 1 /* local to host (pipes) */ 154#define AF_INET 2 /* internetwork: UDP, TCP, etc. */ 155#define AF_LOCAL AF_UNIX /* backward compatibility */ 156#define SOCK_STREAM 1 157int socket(int, int, int); 158size_t read(int, void *, size_t); 159int execl(const char *, const char *, ...); 160 161void testSocket() { 162 int sock; 163 char buffer[100]; 164 165 sock = socket(AF_INET, SOCK_STREAM, 0); 166 read(sock, buffer, 100); 167 execl(buffer, "filename", 0); // expected-warning {{Untrusted data is passed to a system call}} 168 169 sock = socket(AF_LOCAL, SOCK_STREAM, 0); 170 read(sock, buffer, 100); 171 execl(buffer, "filename", 0); // no-warning 172} 173 174int testDivByZero() { 175 int x; 176 scanf("%d", &x); 177 return 5/x; // expected-warning {{Division by a tainted value, possibly zero}} 178} 179 180// Zero-sized VLAs. 181void testTaintedVLASize() { 182 int x; 183 scanf("%d", &x); 184 int vla[x]; // expected-warning{{Declared variable-length array (VLA) has tainted size}} 185} 186