Searched refs:TaintedSyms (Results 1 – 2 of 2) sorted by relevance
35 llvm::ArrayRef<SymbolRef> TaintedSyms) const;60 llvm::ArrayRef<SymbolRef> TaintedSyms) const { in reportTaintBug()64 for (auto Sym : TaintedSyms) in reportTaintBug()
870 std::vector<SymbolRef> TaintedSyms = in checkPostCall() local872 if (!TaintedSyms.empty()) { in checkPostCall()873 TaintedSymbols.push_back(TaintedSyms[0]); in checkPostCall()882 std::vector<SymbolRef> TaintedSyms = getTaintedSymbols(State, *V); in checkPostCall() local883 if (!TaintedSyms.empty()) { in checkPostCall()884 TaintedSymbols.push_back(TaintedSyms[0]); in checkPostCall()