clang  7.0.0svn
TaintTag.h
Go to the documentation of this file.
1 //===- TaintTag.h - Path-sensitive "State" for tracking values --*- C++ -*-===//
2 //
3 // The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 //
10 // Defines a set of taint tags. Several tags are used to differentiate kinds
11 // of taint.
12 //
13 //===----------------------------------------------------------------------===//
14 
15 #ifndef LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_TAINTTAG_H
16 #define LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_TAINTTAG_H
17 
18 namespace clang {
19 namespace ento {
20 
21 /// The type of taint, which helps to differentiate between different types of
22 /// taint.
23 using TaintTagType = unsigned;
24 
25 static const TaintTagType TaintTagGeneric = 0;
26 
27 } // namespace ento
28 } // namespace clang
29 
30 #endif // LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_TAINTTAG_H
static const TaintTagType TaintTagGeneric
Definition: TaintTag.h:25
Dataflow Directional Tag Classes.
unsigned TaintTagType
The type of taint, which helps to differentiate between different types of taint. ...
Definition: TaintTag.h:23