Lines Matching refs:Sym

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