1 // Test strict_string_checks option in strpbrk function 2 // RUN: %clang_asan %s -o %t && %run %t 2>&1 3 // RUN: %env_asan_opts=strict_string_checks=false %run %t 2>&1 4 // RUN: %env_asan_opts=strict_string_checks=true not %run %t 2>&1 | FileCheck %s 5 6 #include <assert.h> 7 #include <stdlib.h> 8 #include <string.h> 9 10 int main(int argc, char **argv) { 11 size_t size = 100; 12 char fill = 'o'; 13 char *s1 = (char*)malloc(size); 14 char *s2 = (char*)malloc(2); 15 memset(s1, fill, size); 16 s2[0] = fill; 17 s2[1]='\0'; 18 char* r = strpbrk(s1, s2); 19 // CHECK: {{.*ERROR: AddressSanitizer: heap-buffer-overflow on address}} 20 // CHECK: READ of size 101 21 assert(r == s1); 22 free(s1); 23 free(s2); 24 return 0; 25 } 26
