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()
961 std::optional<SVal> TaintedSVal = in process() local964 IsMatching || (PropSrcArgs.contains(I) && TaintedSVal.has_value()); in process()967 if (TaintedSVal && !isStdin(*TaintedSVal, C.getASTContext())) { in process()969 getTaintedSymbols(State, *TaintedSVal); in process()1040 std::optional<SVal> TaintedSVal = in generateReportIfTainted() local1043 if (!TaintedSVal) in generateReportIfTainted()1052 for (auto TaintedSym : getTaintedSymbols(C.getState(), *TaintedSVal)) { in generateReportIfTainted()