48                                 TaintTagType Kind) {  in addTaint()  argument
49   return addTaint(State, State->getSVal(S, LCtx), Kind);  in addTaint()
53                                 TaintTagType Kind) {  in addTaint()  argument
56     return addTaint(State, Sym, Kind);  in addTaint()
72         return addPartialTaint(State, Sym, LCV->getRegion(), Kind);  in addTaint()
77   return addTaint(State, R, Kind);  in addTaint()
81                                 TaintTagType Kind) {  in addTaint()  argument
83     return addTaint(State, SR->getSymbol(), Kind);  in addTaint()
88                                 TaintTagType Kind) {  in addTaint()  argument
94   ProgramStateRef NewState = State->set<TaintMap>(Sym, Kind);  in addTaint()
128                                        TaintTagType Kind) {  in addPartialTaint()  argument
131     if (*T == Kind)  in addPartialTaint()
136     return addTaint(State, ParentSym, Kind);  in addPartialTaint()
142   Regs = F.add(Regs, SubRegion, Kind);  in addPartialTaint()
149                       const LocationContext *LCtx, TaintTagType Kind) {  in isTainted()  argument
150   return !getTaintedSymbolsImpl(State, S, LCtx, Kind, /*ReturnFirstOnly=*/true)  in isTainted()
154 bool taint::isTainted(ProgramStateRef State, SVal V, TaintTagType Kind) {  in isTainted()  argument
155   return !getTaintedSymbolsImpl(State, V, Kind, /*ReturnFirstOnly=*/true)  in isTainted()
165 bool taint::isTainted(ProgramStateRef State, SymbolRef Sym, TaintTagType Kind) {  in isTainted()  argument
166   return !getTaintedSymbolsImpl(State, Sym, Kind, /*ReturnFirstOnly=*/true)  in isTainted()
173                                                 TaintTagType Kind) {  in getTaintedSymbols()  argument
174   return getTaintedSymbolsImpl(State, S, LCtx, Kind, /*ReturnFirstOnly=*/false);  in getTaintedSymbols()
178                                                 TaintTagType Kind) {  in getTaintedSymbols()  argument
179   return getTaintedSymbolsImpl(State, V, Kind, /*ReturnFirstOnly=*/false);  in getTaintedSymbols()
184                                                 TaintTagType Kind) {  in getTaintedSymbols()  argument
185   return getTaintedSymbolsImpl(State, Sym, Kind, /*ReturnFirstOnly=*/false);  in getTaintedSymbols()
190                                                 TaintTagType Kind) {  in getTaintedSymbols()  argument
191   return getTaintedSymbolsImpl(State, Reg, Kind, /*ReturnFirstOnly=*/false);  in getTaintedSymbols()
197                                                     TaintTagType Kind,  in getTaintedSymbolsImpl()  argument
200   return getTaintedSymbolsImpl(State, val, Kind, returnFirstOnly);  in getTaintedSymbolsImpl()
204                                                     SVal V, TaintTagType Kind,  in getTaintedSymbolsImpl()  argument
207     return getTaintedSymbolsImpl(State, Sym, Kind, returnFirstOnly);  in getTaintedSymbolsImpl()
209     return getTaintedSymbolsImpl(State, Reg, Kind, returnFirstOnly);  in getTaintedSymbolsImpl()
254                                                     TaintTagType Kind,  in getTaintedSymbolsImpl()  argument
272       if (*Tag == Kind) {  in getTaintedSymbolsImpl()
282           State, SD->getParentSymbol(), Kind, returnFirstOnly);  in getTaintedSymbolsImpl()
298           if (Kind == I.second && R->isSubRegionOf(I.first)) {  in getTaintedSymbolsImpl()
310           getTaintedSymbolsImpl(State, SRV->getRegion(), Kind, returnFirstOnly);  in getTaintedSymbolsImpl()
319           getTaintedSymbolsImpl(State, SC->getOperand(), Kind, returnFirstOnly);  in getTaintedSymbolsImpl()