mirror of
https://github.com/llvm/llvm-project.git
synced 2025-04-17 19:06:38 +00:00
f82fb06cd1
This commit moves the **alpha.security.taint.TaintPropagation** and **alpha.security.taint.GenericTaint** checkers to the **optin.taint** optional package. These checkers were stabilized and improved by recent commits thus they are ready for production use.
15 lines
411 B
C
15 lines
411 B
C
// RUN: %clang_analyze_cc1 -analyzer-checker=optin.taint\
|
|
// RUN: -analyzer-checker=debug.ExprInspection %s\
|
|
// RUN: 2>&1 | FileCheck %s
|
|
|
|
void clang_analyzer_printState(void);
|
|
int getchar(void);
|
|
|
|
// CHECK: Tainted symbols:
|
|
// CHECK-NEXT: conj_$2{{.*}} : 0
|
|
int test_taint_dumps(void) {
|
|
int x = getchar();
|
|
clang_analyzer_printState();
|
|
return x;
|
|
}
|