Home | History | Annotate | Download | only in PathSensitive
      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 #ifndef LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_TAINTTAG_H
     15 #define LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_TAINTTAG_H
     16 
     17 namespace clang {
     18 namespace ento {
     19 
     20 /// The type of taint, which helps to differentiate between different types of
     21 /// taint.
     22 typedef unsigned TaintTagType;
     23 static const TaintTagType TaintTagGeneric = 0;
     24 
     25 }}
     26 
     27 #endif
     28