Lines Matching defs:State
40 void dumpTaint(ProgramStateRef State) { printTaint(State, llvm::errs()); } in dumpTaint()
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()