29 void taint::printTaint(ProgramStateRef State, raw_ostream &Out, const char *NL,  in REGISTER_MAP_WITH_PROGRAMSTATE()
31   TaintMapTy TM = State->get<TaintMap>();  in REGISTER_MAP_WITH_PROGRAMSTATE()
40 void taint::dumpTaint(ProgramStateRef State) {  in dumpTaint()  argument
41   printTaint(State, llvm::errs());  in dumpTaint()
44 ProgramStateRef taint::addTaint(ProgramStateRef State, const Stmt *S,  in addTaint()  argument
47   return addTaint(State, State->getSVal(S, LCtx), Kind);  in addTaint()
50 ProgramStateRef taint::addTaint(ProgramStateRef State, SVal V,  in addTaint()  argument
54     return addTaint(State, Sym, Kind);  in addTaint()
67             State->getStateManager().getStoreManager().getDefaultBinding(  in addTaint()
70         return addPartialTaint(State, Sym, LCV->getRegion(), Kind);  in addTaint()
75   return addTaint(State, R, Kind);  in addTaint()
78 ProgramStateRef taint::addTaint(ProgramStateRef State, const MemRegion *R,  in addTaint()  argument
81     return addTaint(State, SR->getSymbol(), Kind);  in addTaint()
82   return State;  in addTaint()
85 ProgramStateRef taint::addTaint(ProgramStateRef State, SymbolRef Sym,  in addTaint()  argument
92   ProgramStateRef NewState = State->set<TaintMap>(Sym, Kind);  in addTaint()
97 ProgramStateRef taint::removeTaint(ProgramStateRef State, SVal V) {  in removeTaint()  argument
100     return removeTaint(State, Sym);  in removeTaint()
103   return removeTaint(State, R);  in removeTaint()
106 ProgramStateRef taint::removeTaint(ProgramStateRef State, const MemRegion *R) {  in removeTaint()  argument
108     return removeTaint(State, SR->getSymbol());  in removeTaint()
109   return State;  in removeTaint()
112 ProgramStateRef taint::removeTaint(ProgramStateRef State, SymbolRef Sym) {  in removeTaint()  argument
118   ProgramStateRef NewState = State->remove<TaintMap>(Sym);  in removeTaint()
123 ProgramStateRef taint::addPartialTaint(ProgramStateRef State,  in addPartialTaint()  argument
128   if (const TaintTagType *T = State->get<TaintMap>(ParentSym))  in addPartialTaint()
130       return State;  in addPartialTaint()
134     return addTaint(State, ParentSym, Kind);  in addPartialTaint()
136   const TaintedSubRegions *SavedRegs = State->get<DerivedSymTaint>(ParentSym);  in addPartialTaint()
137   TaintedSubRegions::Factory &F = State->get_context<TaintedSubRegions>();  in addPartialTaint()
141   ProgramStateRef NewState = State->set<DerivedSymTaint>(ParentSym, Regs);  in addPartialTaint()
146 bool taint::isTainted(ProgramStateRef State, const Stmt *S,  in isTainted()  argument
148   SVal val = State->getSVal(S, LCtx);  in isTainted()
149   return isTainted(State, val, Kind);  in isTainted()
152 bool taint::isTainted(ProgramStateRef State, SVal V, TaintTagType Kind) {  in isTainted()  argument
154     return isTainted(State, Sym, Kind);  in isTainted()
156     return isTainted(State, Reg, Kind);  in isTainted()
160 bool taint::isTainted(ProgramStateRef State, const MemRegion *Reg,  in isTainted()  argument
168     return isTainted(State, ER->getSuperRegion(), K) ||  in isTainted()
169            isTainted(State, ER->getIndex(), K);  in isTainted()
172     return isTainted(State, SR->getSymbol(), K);  in isTainted()
175     return isTainted(State, ER->getSuperRegion(), K);  in isTainted()
180 bool taint::isTainted(ProgramStateRef State, SymbolRef Sym, TaintTagType Kind) {  in isTainted()  argument
191     if (const TaintTagType *Tag = State->get<TaintMap>(*SI)) {  in isTainted()
198       if (isTainted(State, SD->getParentSymbol(), Kind))  in isTainted()
205               State->get<DerivedSymTaint>(SD->getParentSymbol())) {  in isTainted()
220       if (isTainted(State, SRV->getRegion(), Kind))  in isTainted()
226       if (isTainted(State, SC->getOperand(), Kind))  in isTainted()