Home | History | Annotate | Download | only in Checkers

Lines Matching defs:Sym

50   SymbolRef Sym = V.getAsSymbol();
51   if (Sym)
52     return addTaint(State, Sym, Kind);
67       if (SymbolRef Sym = binding->getAsSymbol())
68         return addPartialTaint(State, Sym, LCV->getRegion(), Kind);
83 ProgramStateRef taint::addTaint(ProgramStateRef State, SymbolRef Sym,
87   while (const SymbolCast *SC = dyn_cast<SymbolCast>(Sym))
88     Sym = SC->getOperand();
90   ProgramStateRef NewState = State->set<TaintMap>(Sym, Kind);
96   SymbolRef Sym = V.getAsSymbol();
97   if (Sym)
98     return removeTaint(State, Sym);
110 ProgramStateRef taint::removeTaint(ProgramStateRef State, SymbolRef Sym) {
113   while (const SymbolCast *SC = dyn_cast<SymbolCast>(Sym))
114     Sym = SC->getOperand();
116   ProgramStateRef NewState = State->remove<TaintMap>(Sym);
151   if (SymbolRef Sym = V.getAsSymbol())
152     return isTainted(State, Sym, Kind);
178 bool taint::isTainted(ProgramStateRef State, SymbolRef Sym, TaintTagType Kind) {
179   if (!Sym)
183   for (SymExpr::symbol_iterator SI = Sym->symbol_begin(),
184                                 SE = Sym->symbol_end();