1 2 3 4 5 6 7 8 9 10 11 12 13 14
// RUN: %clang_analyze_cc1 -analyzer-checker=alpha.security.taint\ // RUN: -analyzer-checker=debug.ExprInspection %s\ // RUN: 2>&1 | FileCheck %s void clang_analyzer_printState(); int getchar(); // CHECK: Tainted symbols: // CHECK-NEXT: conj_$2{{.*}} : 0 int test_taint_dumps() { int x = getchar(); clang_analyzer_printState(); return x; }