taint-tester.c revision a50b7ab5af79690855af68f1fff7897291ba9535
1// RUN: %clang_cc1 -analyze -analyzer-checker=experimental.security.taint,debug.TaintTest -verify %s 2 3int scanf(const char *restrict format, ...); 4int getchar(void); 5 6#define BUFSIZE 10 7int Buffer[BUFSIZE]; 8 9void bufferScanfAssignment(int x) { 10 int n; 11 int *addr = &Buffer[0]; 12 scanf("%d", &n); 13 addr += n;// expected-warning {{tainted}} 14 *addr = n; // expected-warning {{tainted}} 15} 16