StaticAnalyzer/Checkers/Taint.cpp

149   return !getTaintedSymbolsImpl(State, S, LCtx, Kind, /*ReturnFirstOnly=*/true)
154   return !getTaintedSymbolsImpl(State, V, Kind, /*ReturnFirstOnly=*/true)
160   return !getTaintedSymbolsImpl(State, Reg, K, /*ReturnFirstOnly=*/true)
165   return !getTaintedSymbolsImpl(State, Sym, Kind, /*ReturnFirstOnly=*/true)
173   return getTaintedSymbolsImpl(State, S, LCtx, Kind, /*ReturnFirstOnly=*/false);
178   return getTaintedSymbolsImpl(State, V, Kind, /*ReturnFirstOnly=*/false);
184   return getTaintedSymbolsImpl(State, Sym, Kind, /*ReturnFirstOnly=*/false);
190   return getTaintedSymbolsImpl(State, Reg, Kind, /*ReturnFirstOnly=*/false);
193 std::vector<SymbolRef> taint::getTaintedSymbolsImpl(ProgramStateRef State,
199   return getTaintedSymbolsImpl(State, val, Kind, returnFirstOnly);
202 std::vector<SymbolRef> taint::getTaintedSymbolsImpl(ProgramStateRef State,
206     return getTaintedSymbolsImpl(State, Sym, Kind, returnFirstOnly);
208     return getTaintedSymbolsImpl(State, Reg, Kind, returnFirstOnly);
212 std::vector<SymbolRef> taint::getTaintedSymbolsImpl(ProgramStateRef State,
223         getTaintedSymbolsImpl(State, ER->getIndex(), K, returnFirstOnly);
232         getTaintedSymbolsImpl(State, SR->getSymbol(), K, returnFirstOnly);
242         getTaintedSymbolsImpl(State, ER->getSuperRegion(), K, returnFirstOnly);
251 std::vector<SymbolRef> taint::getTaintedSymbolsImpl(ProgramStateRef State,
274       std::vector<SymbolRef> TaintedParents = getTaintedSymbolsImpl(
303           getTaintedSymbolsImpl(State, SRV->getRegion(), Kind, returnFirstOnly);
312           getTaintedSymbolsImpl(State, SC->getOperand(), Kind, returnFirstOnly);