Searched refs:addPartialTaint (Results 1 – 2 of 2) sorted by relevance
71 return addPartialTaint(State, Sym, LCV->getRegion(), Kind); in addTaint()124 ProgramStateRef taint::addPartialTaint(ProgramStateRef State, in addPartialTaint() function in taint
60 addPartialTaint(ProgramStateRef State, SymbolRef ParentSym,