Searched refs:TaintedSVal (Results 1 – 2 of 2) sorted by relevance
58 CheckerContext &C, SVal TaintedSVal) const;212 CheckerContext &C, SVal TaintedSVal) const { in reportTaintBug()228 for (auto Sym : getTaintedSymbols(State, TaintedSVal)) in reportTaintBug()
945 std::optional<SVal> TaintedSVal = in process() local948 IsMatching || (PropSrcArgs.contains(I) && TaintedSVal.has_value()); in process()951 if (TaintedSVal && !isStdin(*TaintedSVal, C.getASTContext())) { in process()953 getTaintedSymbols(State, *TaintedSVal); in process()1022 std::optional<SVal> TaintedSVal = in generateReportIfTainted() local1025 if (!TaintedSVal) in generateReportIfTainted()1032 for (auto TaintedSym : getTaintedSymbols(C.getState(), *TaintedSVal)) { in generateReportIfTainted()