1 //== TaintManager.cpp ------------------------------------------ -*- 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 #include "clang/StaticAnalyzer/Core/PathSensitive/TaintManager.h"
11 
12 using namespace clang;
13 using namespace ento;
14 
GDMIndex()15 void *ProgramStateTrait<TaintMap>::GDMIndex() {
16   static int index = 0;
17   return &index;
18 }
19 
GDMIndex()20 void *ProgramStateTrait<DerivedSymTaint>::GDMIndex() {
21   static int index;
22   return &index;
23 }
24