50   SymbolRef Sym = V.getAsSymbol();  in addTaint()  local
51   if (Sym)  in addTaint()
52     return addTaint(State, Sym, Kind);  in addTaint()
67       if (SymbolRef Sym = binding->getAsSymbol())  in addTaint()  local
68         return addPartialTaint(State, Sym, LCV->getRegion(), Kind);  in addTaint()
83 ProgramStateRef taint::addTaint(ProgramStateRef State, SymbolRef Sym,  in addTaint()  argument
87   while (const SymbolCast *SC = dyn_cast<SymbolCast>(Sym))  in addTaint()
88     Sym = SC->getOperand();  in addTaint()
90   ProgramStateRef NewState = State->set<TaintMap>(Sym, Kind);  in addTaint()
96   SymbolRef Sym = V.getAsSymbol();  in removeTaint()  local
97   if (Sym)  in removeTaint()
98     return removeTaint(State, Sym);  in removeTaint()
110 ProgramStateRef taint::removeTaint(ProgramStateRef State, SymbolRef Sym) {  in removeTaint()  argument
113   while (const SymbolCast *SC = dyn_cast<SymbolCast>(Sym))  in removeTaint()
114     Sym = SC->getOperand();  in removeTaint()
116   ProgramStateRef NewState = State->remove<TaintMap>(Sym);  in removeTaint()
151   if (SymbolRef Sym = V.getAsSymbol())  in isTainted()  local
152     return isTainted(State, Sym, Kind);  in isTainted()
178 bool taint::isTainted(ProgramStateRef State, SymbolRef Sym, TaintTagType Kind) {  in isTainted()  argument
179   if (!Sym)  in isTainted()
183   for (SymExpr::symbol_iterator SI = Sym->symbol_begin(),  in isTainted()
184                                 SE = Sym->symbol_end();  in isTainted()