47                                 TaintTagType Kind) {  in addTaint()  argument
48   return addTaint(State, State->getSVal(S, LCtx), Kind);  in addTaint()
52                                 TaintTagType Kind) {  in addTaint()  argument
55     return addTaint(State, Sym, Kind);  in addTaint()
71         return addPartialTaint(State, Sym, LCV->getRegion(), Kind);  in addTaint()
76   return addTaint(State, R, Kind);  in addTaint()
80                                 TaintTagType Kind) {  in addTaint()  argument
82     return addTaint(State, SR->getSymbol(), Kind);  in addTaint()
87                                 TaintTagType Kind) {  in addTaint()  argument
93   ProgramStateRef NewState = State->set<TaintMap>(Sym, Kind);  in addTaint()
127                                        TaintTagType Kind) {  in addPartialTaint()  argument
130     if (*T == Kind)  in addPartialTaint()
135     return addTaint(State, ParentSym, Kind);  in addPartialTaint()
141   Regs = F.add(Regs, SubRegion, Kind);  in addPartialTaint()
148                       const LocationContext *LCtx, TaintTagType Kind) {  in isTainted()  argument
149   return !getTaintedSymbolsImpl(State, S, LCtx, Kind, /*ReturnFirstOnly=*/true)  in isTainted()
153 bool taint::isTainted(ProgramStateRef State, SVal V, TaintTagType Kind) {  in isTainted()  argument
154   return !getTaintedSymbolsImpl(State, V, Kind, /*ReturnFirstOnly=*/true)  in isTainted()
164 bool taint::isTainted(ProgramStateRef State, SymbolRef Sym, TaintTagType Kind) {  in isTainted()  argument
165   return !getTaintedSymbolsImpl(State, Sym, Kind, /*ReturnFirstOnly=*/true)  in isTainted()
172                                                 TaintTagType Kind) {  in getTaintedSymbols()  argument
173   return getTaintedSymbolsImpl(State, S, LCtx, Kind, /*ReturnFirstOnly=*/false);  in getTaintedSymbols()
177                                                 TaintTagType Kind) {  in getTaintedSymbols()  argument
178   return getTaintedSymbolsImpl(State, V, Kind, /*ReturnFirstOnly=*/false);  in getTaintedSymbols()
183                                                 TaintTagType Kind) {  in getTaintedSymbols()  argument
184   return getTaintedSymbolsImpl(State, Sym, Kind, /*ReturnFirstOnly=*/false);  in getTaintedSymbols()
189                                                 TaintTagType Kind) {  in getTaintedSymbols()  argument
190   return getTaintedSymbolsImpl(State, Reg, Kind, /*ReturnFirstOnly=*/false);  in getTaintedSymbols()
196                                                     TaintTagType Kind,  in getTaintedSymbolsImpl()  argument
199   return getTaintedSymbolsImpl(State, val, Kind, returnFirstOnly);  in getTaintedSymbolsImpl()
203                                                     SVal V, TaintTagType Kind,  in getTaintedSymbolsImpl()  argument
206     return getTaintedSymbolsImpl(State, Sym, Kind, returnFirstOnly);  in getTaintedSymbolsImpl()
208     return getTaintedSymbolsImpl(State, Reg, Kind, returnFirstOnly);  in getTaintedSymbolsImpl()
253                                                     TaintTagType Kind,  in getTaintedSymbolsImpl()  argument
265       if (*Tag == Kind) {  in getTaintedSymbolsImpl()
275           State, SD->getParentSymbol(), Kind, returnFirstOnly);  in getTaintedSymbolsImpl()
291           if (Kind == I.second && R->isSubRegionOf(I.first)) {  in getTaintedSymbolsImpl()
303           getTaintedSymbolsImpl(State, SRV->getRegion(), Kind, returnFirstOnly);  in getTaintedSymbolsImpl()
312           getTaintedSymbolsImpl(State, SC->getOperand(), Kind, returnFirstOnly);  in getTaintedSymbolsImpl()