19 using namespace taint;
29 void taint::printTaint(ProgramStateRef State, raw_ostream &Out, const char *NL,  in REGISTER_MAP_WITH_PROGRAMSTATE()
42 ProgramStateRef taint::addTaint(ProgramStateRef State, const Stmt *S,  in addTaint()
48 ProgramStateRef taint::addTaint(ProgramStateRef State, SVal V,  in addTaint()
76 ProgramStateRef taint::addTaint(ProgramStateRef State, const MemRegion *R,  in addTaint()
83 ProgramStateRef taint::addTaint(ProgramStateRef State, SymbolRef Sym,  in addTaint()
95 ProgramStateRef taint::removeTaint(ProgramStateRef State, SVal V) {  in removeTaint()
104 ProgramStateRef taint::removeTaint(ProgramStateRef State, const MemRegion *R) {  in removeTaint()
110 ProgramStateRef taint::removeTaint(ProgramStateRef State, SymbolRef Sym) {  in removeTaint()
121 ProgramStateRef taint::addPartialTaint(ProgramStateRef State,  in addPartialTaint()
144 bool taint::isTainted(ProgramStateRef State, const Stmt *S,  in isTainted()
150 bool taint::isTainted(ProgramStateRef State, SVal V, TaintTagType Kind) {  in isTainted()
158 bool taint::isTainted(ProgramStateRef State, const MemRegion *Reg,  in isTainted()
178 bool taint::isTainted(ProgramStateRef State, SymbolRef Sym, TaintTagType Kind) {  in isTainted()