Lines Matching defs:Sym

54   SymbolRef Sym = V.getAsSymbol();
55   if (Sym)
56     return addTaint(State, Sym, Kind);
71       if (SymbolRef Sym = binding->getAsSymbol())
72         return addPartialTaint(State, Sym, LCV->getRegion(), Kind);
87 ProgramStateRef taint::addTaint(ProgramStateRef State, SymbolRef Sym,
91   while (const SymbolCast *SC = dyn_cast<SymbolCast>(Sym))
92     Sym = SC->getOperand();
94   ProgramStateRef NewState = State->set<TaintMap>(Sym, Kind);
100   SymbolRef Sym = V.getAsSymbol();
101   if (Sym)
102     return removeTaint(State, Sym);
114 ProgramStateRef taint::removeTaint(ProgramStateRef State, SymbolRef Sym) {
117   while (const SymbolCast *SC = dyn_cast<SymbolCast>(Sym))
118     Sym = SC->getOperand();
120   ProgramStateRef NewState = State->remove<TaintMap>(Sym);
165 bool taint::isTainted(ProgramStateRef State, SymbolRef Sym, TaintTagType Kind) {
166   return !getTaintedSymbolsImpl(State, Sym, Kind, /*ReturnFirstOnly=*/true)
183                                                 SymbolRef Sym,
185   return getTaintedSymbolsImpl(State, Sym, Kind, /*ReturnFirstOnly=*/false);
206   if (SymbolRef Sym = V.getAsSymbol())
207     return getTaintedSymbolsImpl(State, Sym, Kind, returnFirstOnly);
261                                                     SymbolRef Sym,
265   if (!Sym)
270       Sym->computeComplexity() > Opts.MaxTaintedSymbolComplexity) {
275   for (SymbolRef SubSym : Sym->symbols()) {