12d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// RUN: %clangxx_asan -mllvm -asan-coverage=1 -DSHARED %s -shared -o %T/libcoverage_test.so -fPIC 22d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// RUN: %clangxx_asan -mllvm -asan-coverage=1 %s -o %t -Wl,-R,\$ORIGIN -L%T -lcoverage_test 32d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// RUN: export ASAN_OPTIONS=coverage=1:verbosity=1 42d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// RUN: mkdir -p %T/coverage && cd %T/coverage 52d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// RUN: %run %t 2>&1 | FileCheck %s --check-prefix=CHECK-main 62d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// RUN: %run %t foo 2>&1 | FileCheck %s --check-prefix=CHECK-foo 72d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// RUN: %run %t bar 2>&1 | FileCheck %s --check-prefix=CHECK-bar 82d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// RUN: %run %t foo bar 2>&1 | FileCheck %s --check-prefix=CHECK-foo-bar 92d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// RUN: not %run %t foo bar 4 2>&1 | FileCheck %s --check-prefix=CHECK-report 102d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// RUN: not %run %t foo bar 4 5 2>&1 | FileCheck %s --check-prefix=CHECK-segv 112d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// RUN: cd .. && rm coverage -r 122d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// 132d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// https://code.google.com/p/address-sanitizer/issues/detail?id=263 142d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// XFAIL: android 152d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines 162d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#include <stdio.h> 172d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#include <string.h> 182d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#include <unistd.h> 192d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines 202d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#ifdef SHARED 212d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hinesvoid bar() { printf("bar\n"); } 222d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#else 232d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines__attribute__((noinline)) 242d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hinesvoid foo() { printf("foo\n"); } 252d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hinesextern void bar(); 262d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines 272d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hinesint G[4]; 282d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines 292d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hinesint main(int argc, char **argv) { 302d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines fprintf(stderr, "PID: %d\n", getpid()); 312d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines for (int i = 1; i < argc; i++) { 322d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines if (!strcmp(argv[i], "foo")) 332d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines foo(); 342d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines if (!strcmp(argv[i], "bar")) 352d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines bar(); 362d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines } 372d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines if (argc == 5) { 382d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines static volatile char *zero = 0; 392d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines *zero = 0; // SEGV if argc == 5. 402d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines } 412d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines return G[argc]; // Buffer overflow if argc >= 4. 422d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines} 432d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#endif 442d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines 452d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// CHECK-main: PID: [[PID:[0-9]+]] 462d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// CHECK-main: [[PID]].sancov: 1 PCs written 472d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// CHECK-main-NOT: .so.[[PID]] 482d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// 492d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// CHECK-foo: PID: [[PID:[0-9]+]] 502d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// CHECK-foo: [[PID]].sancov: 2 PCs written 512d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// CHECK-foo-NOT: .so.[[PID]] 522d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// 532d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// CHECK-bar: PID: [[PID:[0-9]+]] 542d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// CHECK-bar: [[PID]].sancov: 1 PCs written 552d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// CHECK-bar: .so.[[PID]].sancov: 1 PCs written 562d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// 572d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// CHECK-foo-bar: PID: [[PID:[0-9]+]] 582d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// CHECK-foo-bar: [[PID]].sancov: 2 PCs written 592d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// CHECK-foo-bar: so.[[PID]].sancov: 1 PCs written 602d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// 612d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// CHECK-report: AddressSanitizer: global-buffer-overflow 622d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// CHECK-report: PCs written 632d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// 642d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// CHECK-segv: AddressSanitizer: SEGV 652d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// CHECK-segv: PCs written 66