1*7c3d14c8STreehugger Robot // Check that the `atos` symbolizer works. 2*7c3d14c8STreehugger Robot 3*7c3d14c8STreehugger Robot // RUN: %clangxx_asan -O0 %s -o %t 4*7c3d14c8STreehugger Robot // RUN: %env_asan_opts=verbosity=2 ASAN_SYMBOLIZER_PATH=$(which atos) not %run %t 2>&1 | FileCheck %s 5*7c3d14c8STreehugger Robot 6*7c3d14c8STreehugger Robot #include <stdlib.h> 7*7c3d14c8STreehugger Robot #include <string.h> main(int argc,char ** argv)8*7c3d14c8STreehugger Robotint main(int argc, char **argv) { 9*7c3d14c8STreehugger Robot char *x = (char*)malloc(10 * sizeof(char)); 10*7c3d14c8STreehugger Robot memset(x, 0, 10); 11*7c3d14c8STreehugger Robot int res = x[argc]; 12*7c3d14c8STreehugger Robot free(x); 13*7c3d14c8STreehugger Robot free(x + argc - 1); // BOOM 14*7c3d14c8STreehugger Robot // CHECK: Using atos at user-specified path: 15*7c3d14c8STreehugger Robot // CHECK: AddressSanitizer: attempting double-free{{.*}}in thread T0 16*7c3d14c8STreehugger Robot // CHECK: #0 0x{{.*}} in {{.*}}free 17*7c3d14c8STreehugger Robot // CHECK: #1 0x{{.*}} in main {{.*}}atos-symbolizer.cc:[[@LINE-4]] 18*7c3d14c8STreehugger Robot // CHECK: freed by thread T0 here: 19*7c3d14c8STreehugger Robot // CHECK: #0 0x{{.*}} in {{.*}}free 20*7c3d14c8STreehugger Robot // CHECK: #1 0x{{.*}} in main {{.*}}atos-symbolizer.cc:[[@LINE-8]] 21*7c3d14c8STreehugger Robot // CHECK: allocated by thread T0 here: 22*7c3d14c8STreehugger Robot // CHECK: atos-symbolizer.cc:[[@LINE-13]] 23*7c3d14c8STreehugger Robot return res; 24*7c3d14c8STreehugger Robot } 25