Lines Matching refs:FDecl
99 bool checkTaintedBufferSize(const CallExpr *CE, const FunctionDecl *FDecl,
144 getTaintPropagationRule(const FunctionDecl *FDecl, StringRef Name,
203 const FunctionDecl *FDecl, StringRef Name, CheckerContext &C) { in REGISTER_SET_WITH_PROGRAMSTATE()
236 if ((BId = FDecl->getMemoryFunctionKind())) in REGISTER_SET_WITH_PROGRAMSTATE()
255 if (C.isCLibraryFunction(FDecl, "snprintf") || in REGISTER_SET_WITH_PROGRAMSTATE()
256 C.isCLibraryFunction(FDecl, "sprintf")) in REGISTER_SET_WITH_PROGRAMSTATE()
258 else if (C.isCLibraryFunction(FDecl, "strcpy") || in REGISTER_SET_WITH_PROGRAMSTATE()
259 C.isCLibraryFunction(FDecl, "stpcpy") || in REGISTER_SET_WITH_PROGRAMSTATE()
260 C.isCLibraryFunction(FDecl, "strcat")) in REGISTER_SET_WITH_PROGRAMSTATE()
262 else if (C.isCLibraryFunction(FDecl, "bcopy")) in REGISTER_SET_WITH_PROGRAMSTATE()
264 else if (C.isCLibraryFunction(FDecl, "strdup") || in REGISTER_SET_WITH_PROGRAMSTATE()
265 C.isCLibraryFunction(FDecl, "strdupa")) in REGISTER_SET_WITH_PROGRAMSTATE()
267 else if (C.isCLibraryFunction(FDecl, "wcsdup")) in REGISTER_SET_WITH_PROGRAMSTATE()
298 const FunctionDecl *FDecl = C.getCalleeDecl(CE); in addSourcesPre() local
299 if (!FDecl || FDecl->getKind() != Decl::Function) in addSourcesPre()
302 StringRef Name = C.getCalleeName(FDecl); in addSourcesPre()
308 TaintPropagationRule::getTaintPropagationRule(FDecl, Name, C); in addSourcesPre()
375 const FunctionDecl *FDecl = C.getCalleeDecl(CE); in addSourcesPost() local
376 if (!FDecl || FDecl->getKind() != Decl::Function) in addSourcesPost()
379 StringRef Name = C.getCalleeName(FDecl); in addSourcesPost()
414 const FunctionDecl *FDecl = C.getCalleeDecl(CE); in checkPre() local
415 if (!FDecl || FDecl->getKind() != Decl::Function) in checkPre()
418 StringRef Name = C.getCalleeName(FDecl); in checkPre()
425 if (checkTaintedBufferSize(CE, FDecl, C)) in checkPre()
624 const FunctionDecl *FDecl = C.getCalleeDecl(CE); in getPrintfFormatArgumentNum() local
625 if (!FDecl) in getPrintfFormatArgumentNum()
627 for (const auto *Format : FDecl->specific_attrs<FormatAttr>()) { in getPrintfFormatArgumentNum()
710 const FunctionDecl *FDecl, in checkTaintedBufferSize() argument
715 if ((BId = FDecl->getMemoryFunctionKind())) in checkTaintedBufferSize()
730 if (C.isCLibraryFunction(FDecl, "malloc") || in checkTaintedBufferSize()
731 C.isCLibraryFunction(FDecl, "calloc") || in checkTaintedBufferSize()
732 C.isCLibraryFunction(FDecl, "alloca")) in checkTaintedBufferSize()
734 else if (C.isCLibraryFunction(FDecl, "memccpy")) in checkTaintedBufferSize()
736 else if (C.isCLibraryFunction(FDecl, "realloc")) in checkTaintedBufferSize()
738 else if (C.isCLibraryFunction(FDecl, "bcopy")) in checkTaintedBufferSize()