Searched refs:TaintedSyms (Results 1 – 3 of 3) sorted by relevance
35 llvm::ArrayRef<SymbolRef> TaintedSyms) const;60 llvm::ArrayRef<SymbolRef> TaintedSyms) const { in reportTaintBug()64 for (auto Sym : TaintedSyms) in reportTaintBug()
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()