Lines Matching refs:taint
19 using namespace taint;
29 void taint::printTaint(ProgramStateRef State, raw_ostream &Out, const char *NL,
42 ProgramStateRef taint::addTaint(ProgramStateRef State, const Stmt *S,
48 ProgramStateRef taint::addTaint(ProgramStateRef State, SVal V,
54 // If the SVal represents a structure, try to mass-taint all values within the
76 ProgramStateRef taint::addTaint(ProgramStateRef State, const MemRegion *R,
83 ProgramStateRef taint::addTaint(ProgramStateRef State, SymbolRef Sym,
85 // If this is a symbol cast, remove the cast before adding the taint. Taint
95 ProgramStateRef taint::removeTaint(ProgramStateRef State, SVal V) {
104 ProgramStateRef taint::removeTaint(ProgramStateRef State, const MemRegion *R) {
110 ProgramStateRef taint::removeTaint(ProgramStateRef State, SymbolRef Sym) {
111 // If this is a symbol cast, remove the cast before adding the taint. Taint
121 ProgramStateRef taint::addPartialTaint(ProgramStateRef State,
125 // Ignore partial taint if the entire parent symbol is already tainted.
130 // Partial taint applies if only a portion of the symbol is tainted.
144 bool taint::isTainted(ProgramStateRef State, const Stmt *S,
150 bool taint::isTainted(ProgramStateRef State, SVal V, TaintTagType Kind) {
158 bool taint::isTainted(ProgramStateRef State, const MemRegion *Reg,
178 bool taint::isTainted(ProgramStateRef State, SymbolRef Sym, TaintTagType Kind) {
236 // Find the ExplodedNode where the taint was first introduced