Lines Matching refs:Sym
52 SymbolRef Sym = V.getAsSymbol(); in addTaint() local
53 if (Sym) in addTaint()
54 return addTaint(State, Sym, Kind); in addTaint()
69 if (SymbolRef Sym = binding->getAsSymbol()) in addTaint() local
70 return addPartialTaint(State, Sym, LCV->getRegion(), Kind); in addTaint()
85 ProgramStateRef taint::addTaint(ProgramStateRef State, SymbolRef Sym, in addTaint() argument
89 while (const SymbolCast *SC = dyn_cast<SymbolCast>(Sym)) in addTaint()
90 Sym = SC->getOperand(); in addTaint()
92 ProgramStateRef NewState = State->set<TaintMap>(Sym, Kind); in addTaint()
98 SymbolRef Sym = V.getAsSymbol(); in removeTaint() local
99 if (Sym) in removeTaint()
100 return removeTaint(State, Sym); in removeTaint()
112 ProgramStateRef taint::removeTaint(ProgramStateRef State, SymbolRef Sym) { in removeTaint() argument
115 while (const SymbolCast *SC = dyn_cast<SymbolCast>(Sym)) in removeTaint()
116 Sym = SC->getOperand(); in removeTaint()
118 ProgramStateRef NewState = State->remove<TaintMap>(Sym); in removeTaint()
153 if (SymbolRef Sym = V.getAsSymbol()) in isTainted() local
154 return isTainted(State, Sym, Kind); in isTainted()
180 bool taint::isTainted(ProgramStateRef State, SymbolRef Sym, TaintTagType Kind) { in isTainted() argument
181 if (!Sym) in isTainted()
185 for (SymExpr::symbol_iterator SI = Sym->symbol_begin(), in isTainted()
186 SE = Sym->symbol_end(); in isTainted()