26 lines · c
1// Test strict_str`ing_checks option in strspn 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 s1[0] = s2[0] = 'z';17 s2[1] = '\0';18 size_t r = strspn(s1, s2);19 // CHECK: {{.*ERROR: AddressSanitizer: heap-buffer-overflow on address}}20 // CHECK: READ of size 10121 assert(r == 1);22 free(s1);23 free(s2);24 return 0;25}26