StaticAnalyzer/Checkers/GenericTaintChecker.cpp

117   struct TaintPropagationRule {
124     TaintPropagationRule() {}
126     TaintPropagationRule(unsigned SArg,
134     TaintPropagationRule(unsigned SArg1, unsigned SArg2,
144     static TaintPropagationRule
198 GenericTaintChecker::TaintPropagationRule
199 GenericTaintChecker::TaintPropagationRule::getTaintPropagationRule(
207   TaintPropagationRule Rule = llvm::StringSwitch<TaintPropagationRule>(Name)
208     .Case("atoi", TaintPropagationRule(0, ReturnValueIndex))
209     .Case("atol", TaintPropagationRule(0, ReturnValueIndex))
210     .Case("atoll", TaintPropagationRule(0, ReturnValueIndex))
211     .Case("getc", TaintPropagationRule(0, ReturnValueIndex))
212     .Case("fgetc", TaintPropagationRule(0, ReturnValueIndex))
213     .Case("getc_unlocked", TaintPropagationRule(0, ReturnValueIndex))
214     .Case("getw", TaintPropagationRule(0, ReturnValueIndex))
215     .Case("toupper", TaintPropagationRule(0, ReturnValueIndex))
216     .Case("tolower", TaintPropagationRule(0, ReturnValueIndex))
217     .Case("strchr", TaintPropagationRule(0, ReturnValueIndex))
218     .Case("strrchr", TaintPropagationRule(0, ReturnValueIndex))
219     .Case("read", TaintPropagationRule(0, 2, 1, true))
220     .Case("pread", TaintPropagationRule(InvalidArgIndex, 1, true))
221     .Case("gets", TaintPropagationRule(InvalidArgIndex, 0, true))
222     .Case("fgets", TaintPropagationRule(2, 0, true))
223     .Case("getline", TaintPropagationRule(2, 0))
224     .Case("getdelim", TaintPropagationRule(3, 0))
225     .Case("fgetln", TaintPropagationRule(0, ReturnValueIndex))
226     .Default(TaintPropagationRule());
240       return TaintPropagationRule(1, 2, 0, true);
243       return TaintPropagationRule(1, 2, 0, false);
245       return TaintPropagationRule(0, 1, ReturnValueIndex);
255       return TaintPropagationRule(InvalidArgIndex, 0, true);
259       return TaintPropagationRule(1, 0, true);
261       return TaintPropagationRule(0, 2, 1, false);
264       return TaintPropagationRule(0, ReturnValueIndex);
266       return TaintPropagationRule(0, ReturnValueIndex);
273   return TaintPropagationRule();
305   TaintPropagationRule Rule =
306     TaintPropagationRule::getTaintPropagationRule(FDecl, Name, C);
446 GenericTaintChecker::TaintPropagationRule::process(const CallExpr *CE,