clang API Documentation

TaintTag.h
Go to the documentation of this file.
00001 //== TaintTag.h - Path-sensitive "State" for tracking values -*- C++ -*--=//
00002 //
00003 //                     The LLVM Compiler Infrastructure
00004 //
00005 // This file is distributed under the University of Illinois Open Source
00006 // License. See LICENSE.TXT for details.
00007 //
00008 //===----------------------------------------------------------------------===//
00009 //
00010 // Defines a set of taint tags. Several tags are used to differentiate kinds
00011 // of taint.
00012 //
00013 //===----------------------------------------------------------------------===//
00014 #ifndef LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_TAINTTAG_H
00015 #define LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_TAINTTAG_H
00016 
00017 namespace clang {
00018 namespace ento {
00019 
00020 /// The type of taint, which helps to differentiate between different types of
00021 /// taint.
00022 typedef unsigned TaintTagType;
00023 static const TaintTagType TaintTagGeneric = 0;
00024 
00025 }}
00026 
00027 #endif