56 lines · c
1// Test strict_string_checks option in atol function2// RUN: %clang_asan %s -o %t3// RUN: %run %t test1 2>&14// RUN: %env_asan_opts=strict_string_checks=false %run %t test1 2>&15// RUN: %env_asan_opts=strict_string_checks=true not %run %t test1 2>&1 | FileCheck %s --check-prefix=CHECK16// RUN: %run %t test2 2>&17// RUN: %env_asan_opts=strict_string_checks=false %run %t test2 2>&18// RUN: %env_asan_opts=strict_string_checks=true not %run %t test2 2>&1 | FileCheck %s --check-prefix=CHECK29// RUN: %run %t test3 2>&110// RUN: %env_asan_opts=strict_string_checks=false %run %t test3 2>&111// RUN: %env_asan_opts=strict_string_checks=true not %run %t test3 2>&1 | FileCheck %s --check-prefix=CHECK312 13#include <assert.h>14#include <stdlib.h>15#include <string.h>16 17void test1(char *array) {18 // Last symbol is non-digit19 memset(array, '1', 10);20 array[9] = 'a';21 long r = atol(array);22 assert(r == 111111111);23}24 25void test2(char *array) {26 // Single non-digit symbol27 array[9] = 'a';28 long r = atol(array + 9);29 assert(r == 0);30}31 32void test3(char *array) {33 // Incorrect number format34 memset(array, ' ', 10);35 array[9] = '-';36 array[8] = '-';37 long r = atol(array);38 assert(r == 0);39}40 41int main(int argc, char **argv) {42 char *array = (char*)malloc(10);43 if (argc != 2) return 1;44 if (!strcmp(argv[1], "test1")) test1(array);45 // CHECK1: {{.*ERROR: AddressSanitizer: heap-buffer-overflow on address}}46 // CHECK1: READ of size 1147 if (!strcmp(argv[1], "test2")) test2(array);48 // CHECK2: {{.*ERROR: AddressSanitizer: heap-buffer-overflow on address}}49 // CHECK2: READ of size 250 if (!strcmp(argv[1], "test3")) test3(array);51 // CHECK3: {{.*ERROR: AddressSanitizer: heap-buffer-overflow on address}}52 // CHECK3: READ of size 1153 free(array);54 return 0;55}56