Searched refs:TaintedIndexes (Results 1 – 1 of 1) sorted by relevance
881 std::vector<ArgIdxTy> TaintedIndexes; in checkPostCall() local890 TaintedIndexes.push_back(ArgNum); in checkPostCall()901 TaintedIndexes.push_back(ArgNum); in checkPostCall()907 InjectionTag = taintPropagationExplainerTag(C, TaintedSymbols, TaintedIndexes, in checkPostCall()958 std::vector<ArgIdxTy> TaintedIndexes; in process() local960 &TaintedIndexes](ArgIdxTy I, const Expr *E, SVal) { in process()972 TaintedIndexes.push_back(I); in process()1024 C, std::move(TaintedSymbols), std::move(TaintedIndexes), in process()