Lines Matching defs:SymbolRef

24 REGISTER_MAP_WITH_PROGRAMSTATE(TaintMap, SymbolRef, TaintTagType)
29 REGISTER_MAP_WITH_PROGRAMSTATE(DerivedSymTaint, SymbolRef, TaintedSubRegions)
54   SymbolRef Sym = V.getAsSymbol();
71       if (SymbolRef Sym = binding->getAsSymbol())
87 ProgramStateRef taint::addTaint(ProgramStateRef State, SymbolRef Sym,
100   SymbolRef Sym = V.getAsSymbol();
114 ProgramStateRef taint::removeTaint(ProgramStateRef State, SymbolRef Sym) {
126                                        SymbolRef ParentSym,
165 bool taint::isTainted(ProgramStateRef State, SymbolRef Sym, TaintTagType Kind) {
170 std::vector<SymbolRef> taint::getTaintedSymbols(ProgramStateRef State,
177 std::vector<SymbolRef> taint::getTaintedSymbols(ProgramStateRef State, SVal V,
182 std::vector<SymbolRef> taint::getTaintedSymbols(ProgramStateRef State,
183                                                 SymbolRef Sym,
188 std::vector<SymbolRef> taint::getTaintedSymbols(ProgramStateRef State,
194 std::vector<SymbolRef> taint::getTaintedSymbolsImpl(ProgramStateRef State,
203 std::vector<SymbolRef> taint::getTaintedSymbolsImpl(ProgramStateRef State,
206   if (SymbolRef Sym = V.getAsSymbol())
213 std::vector<SymbolRef> taint::getTaintedSymbolsImpl(ProgramStateRef State,
217   std::vector<SymbolRef> TaintedSymbols;
223     std::vector<SymbolRef> TaintedIndex =
232     std::vector<SymbolRef> TaintedRegions =
242     std::vector<SymbolRef> TaintedSubRegions =
252 std::vector<SymbolRef> taint::getTaintedSymbolsImpl(ProgramStateRef State,
253                                                     SymbolRef Sym,
256   std::vector<SymbolRef> TaintedSymbols;
267   for (SymbolRef SubSym : Sym->symbols()) {
281       std::vector<SymbolRef> TaintedParents = getTaintedSymbolsImpl(
309       std::vector<SymbolRef> TaintedRegions =
318       std::vector<SymbolRef> TaintedCasts =