diff options
| author | Artem Dergachev <artem.dergachev@gmail.com> | 2019-03-29 22:49:30 +0000 |
|---|---|---|
| committer | Artem Dergachev <artem.dergachev@gmail.com> | 2019-03-29 22:49:30 +0000 |
| commit | 8ac513b1f101fa3b1332036b4c9131dc3b88c49a (patch) | |
| tree | 93b274652747a46a7c32d002437e2357bd59bce0 /test/Analysis | |
| parent | 9d38fb191095a3fd933daf5794a36da2ac086da6 (diff) | |
[analyzer] Move taint API from ProgramState to a separate header. NFC.
It is now an inter-checker communication API, similar to the one that
connects MallocChecker/CStringChecker/InnerPointerChecker: simply a set of
setters and getters for a state trait.
Differential Revision: https://reviews.llvm.org/D59861
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@357326 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Analysis')
| -rw-r--r-- | test/Analysis/taint-dumps.c | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/test/Analysis/taint-dumps.c b/test/Analysis/taint-dumps.c new file mode 100644 index 0000000000..305e4e9888 --- /dev/null +++ b/test/Analysis/taint-dumps.c @@ -0,0 +1,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; +} |