27 lines · c
1// Test strict_string_checks option in strcmp 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 memset(s1, fill, size);15 char *s2 = (char*)malloc(size);16 memset(s2, fill, size);17 s1[size - 1] = 'z';18 s2[size - 1] = 'x';19 int r = strcmp(s1, s2);20 // CHECK: {{.*ERROR: AddressSanitizer: heap-buffer-overflow on address}}21 // CHECK: READ of size 10122 assert(r == 1);23 free(s1);24 free(s2);25 return 0;26}27