include/clang/StaticAnalyzer/Core/PathSensitive/TaintTag.h

   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