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