Searched refs:TaintedSVal (Results 1 – 2 of 2) sorted by relevance
56 CheckerContext &C, SVal TaintedSVal) const;210 CheckerContext &C, SVal TaintedSVal) const { in reportTaintBug()226 for (auto Sym : getTaintedSymbols(State, TaintedSVal)) in reportTaintBug()
959 std::optional<SVal> TaintedSVal = in process() local962 IsMatching || (PropSrcArgs.contains(I) && TaintedSVal.has_value()); in process()965 if (TaintedSVal && !isStdin(*TaintedSVal, C.getASTContext())) { in process()967 getTaintedSymbols(State, *TaintedSVal); in process()1038 std::optional<SVal> TaintedSVal = in generateReportIfTainted() local1041 if (!TaintedSVal) in generateReportIfTainted()1049 for (auto TaintedSym : getTaintedSymbols(C.getState(), *TaintedSVal)) { in generateReportIfTainted()