23 REGISTER_MAP_WITH_PROGRAMSTATE(TaintMap, SymbolRef, TaintTagType)  in REGISTER_MAP_WITH_PROGRAMSTATE()  argument
28 REGISTER_MAP_WITH_PROGRAMSTATE(DerivedSymTaint, SymbolRef, TaintedSubRegions)  in REGISTER_MAP_WITH_PROGRAMSTATE()
53   SymbolRef Sym = V.getAsSymbol();  in addTaint()
70       if (SymbolRef Sym = binding->getAsSymbol())  in addTaint()
86 ProgramStateRef taint::addTaint(ProgramStateRef State, SymbolRef Sym,  in addTaint()
99   SymbolRef Sym = V.getAsSymbol();  in removeTaint()
113 ProgramStateRef taint::removeTaint(ProgramStateRef State, SymbolRef Sym) {  in removeTaint()
125                                        SymbolRef ParentSym,  in addPartialTaint()
164 bool taint::isTainted(ProgramStateRef State, SymbolRef Sym, TaintTagType Kind) {  in isTainted()
169 std::vector<SymbolRef> taint::getTaintedSymbols(ProgramStateRef State,  in getTaintedSymbols()
176 std::vector<SymbolRef> taint::getTaintedSymbols(ProgramStateRef State, SVal V,  in getTaintedSymbols()
181 std::vector<SymbolRef> taint::getTaintedSymbols(ProgramStateRef State,  in getTaintedSymbols()
182                                                 SymbolRef Sym,  in getTaintedSymbols()
187 std::vector<SymbolRef> taint::getTaintedSymbols(ProgramStateRef State,  in getTaintedSymbols()
193 std::vector<SymbolRef> taint::getTaintedSymbolsImpl(ProgramStateRef State,  in getTaintedSymbolsImpl()
202 std::vector<SymbolRef> taint::getTaintedSymbolsImpl(ProgramStateRef State,  in getTaintedSymbolsImpl()
205   if (SymbolRef Sym = V.getAsSymbol())  in getTaintedSymbolsImpl()
212 std::vector<SymbolRef> taint::getTaintedSymbolsImpl(ProgramStateRef State,  in getTaintedSymbolsImpl()
216   std::vector<SymbolRef> TaintedSymbols;  in getTaintedSymbolsImpl()
222     std::vector<SymbolRef> TaintedIndex =  in getTaintedSymbolsImpl()
231     std::vector<SymbolRef> TaintedRegions =  in getTaintedSymbolsImpl()
241     std::vector<SymbolRef> TaintedSubRegions =  in getTaintedSymbolsImpl()
251 std::vector<SymbolRef> taint::getTaintedSymbolsImpl(ProgramStateRef State,  in getTaintedSymbolsImpl()
252                                                     SymbolRef Sym,  in getTaintedSymbolsImpl()
255   std::vector<SymbolRef> TaintedSymbols;  in getTaintedSymbolsImpl()
260   for (SymbolRef SubSym : Sym->symbols()) {  in getTaintedSymbolsImpl()
274       std::vector<SymbolRef> TaintedParents = getTaintedSymbolsImpl(  in getTaintedSymbolsImpl()
302       std::vector<SymbolRef> TaintedRegions =  in getTaintedSymbolsImpl()
311       std::vector<SymbolRef> TaintedCasts =  in getTaintedSymbolsImpl()