Lines Matching defs:getTaintedSymbolsImpl

150   return !getTaintedSymbolsImpl(State, S, LCtx, Kind, /*ReturnFirstOnly=*/true)
155   return !getTaintedSymbolsImpl(State, V, Kind, /*ReturnFirstOnly=*/true)
161   return !getTaintedSymbolsImpl(State, Reg, K, /*ReturnFirstOnly=*/true)
166   return !getTaintedSymbolsImpl(State, Sym, Kind, /*ReturnFirstOnly=*/true)
174   return getTaintedSymbolsImpl(State, S, LCtx, Kind, /*ReturnFirstOnly=*/false);
179   return getTaintedSymbolsImpl(State, V, Kind, /*ReturnFirstOnly=*/false);
185   return getTaintedSymbolsImpl(State, Sym, Kind, /*ReturnFirstOnly=*/false);
191   return getTaintedSymbolsImpl(State, Reg, Kind, /*ReturnFirstOnly=*/false);
194 std::vector<SymbolRef> taint::getTaintedSymbolsImpl(ProgramStateRef State,
200   return getTaintedSymbolsImpl(State, val, Kind, returnFirstOnly);
203 std::vector<SymbolRef> taint::getTaintedSymbolsImpl(ProgramStateRef State,
207     return getTaintedSymbolsImpl(State, Sym, Kind, returnFirstOnly);
209     return getTaintedSymbolsImpl(State, Reg, Kind, returnFirstOnly);
214       return getTaintedSymbolsImpl(State, *DefaultVal, Kind, returnFirstOnly);
221 std::vector<SymbolRef> taint::getTaintedSymbolsImpl(ProgramStateRef State,
232         getTaintedSymbolsImpl(State, ER->getIndex(), K, returnFirstOnly);
241         getTaintedSymbolsImpl(State, SR->getSymbol(), K, returnFirstOnly);
251         getTaintedSymbolsImpl(State, ER->getSuperRegion(), K, returnFirstOnly);
260 std::vector<SymbolRef> taint::getTaintedSymbolsImpl(ProgramStateRef State,
289       std::vector<SymbolRef> TaintedParents = getTaintedSymbolsImpl(
318           getTaintedSymbolsImpl(State, SRV->getRegion(), Kind, returnFirstOnly);
327           getTaintedSymbolsImpl(State, SC->getOperand(), Kind, returnFirstOnly);