26 lines · c
1// Test strict_string_checks option in strpbrk function2// RUN: %clang_asan %s -o %t && %run %t 2>&13// RUN: %env_asan_opts=strict_string_checks=false %run %t 2>&14// RUN: %env_asan_opts=strict_string_checks=true not %run %t 2>&1 | FileCheck %s5 6#include <assert.h>7#include <stdlib.h>8#include <string.h>9 10int 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 10121 assert(r == s1);22 free(s1);23 free(s2);24 return 0;25}26