Searched refs:TaintedSyms (Results 1 – 2 of 2) sorted by relevance
886 std::vector<SymbolRef> TaintedSyms = in checkPostCall() local888 if (!TaintedSyms.empty()) { in checkPostCall()889 TaintedSymbols.push_back(TaintedSyms[0]); in checkPostCall()898 std::vector<SymbolRef> TaintedSyms = getTaintedSymbols(State, *V); in checkPostCall() local899 if (!TaintedSyms.empty()) { in checkPostCall()900 TaintedSymbols.push_back(TaintedSyms[0]); in checkPostCall()
468 llvm::ArrayRef<SymbolRef> TaintedSyms,1698 llvm::ArrayRef<SymbolRef> TaintedSyms, in reportTaintBug() argument1706 for (auto TaintedSym : TaintedSyms) { in reportTaintBug()1718 std::vector<SymbolRef> TaintedSyms = in checkTaintedness() local1720 if (TaintedSyms.empty()) in checkTaintedness()1749 State, C, TaintedSyms, Family); in checkTaintedness()