Home | History | Annotate | Download | only in Checkers

Lines Matching refs:FDecl

97   bool checkTaintedBufferSize(const CallExpr *CE, const FunctionDecl *FDecl,
144 getTaintPropagationRule(const FunctionDecl *FDecl,
205 const FunctionDecl *FDecl,
239 if ( (BId = FDecl->getMemoryFunctionKind()) )
258 if (C.isCLibraryFunction(FDecl, "snprintf") ||
259 C.isCLibraryFunction(FDecl, "sprintf"))
261 else if (C.isCLibraryFunction(FDecl, "strcpy") ||
262 C.isCLibraryFunction(FDecl, "stpcpy") ||
263 C.isCLibraryFunction(FDecl, "strcat"))
265 else if (C.isCLibraryFunction(FDecl, "bcopy"))
267 else if (C.isCLibraryFunction(FDecl, "strdup") ||
268 C.isCLibraryFunction(FDecl, "strdupa"))
270 else if (C.isCLibraryFunction(FDecl, "wcsdup"))
301 const FunctionDecl *FDecl = C.getCalleeDecl(CE);
302 StringRef Name = C.getCalleeName(FDecl);
308 TaintPropagationRule::getTaintPropagationRule(FDecl, Name, C);
408 const FunctionDecl *FDecl = C.getCalleeDecl(CE);
409 StringRef Name = C.getCalleeName(FDecl);
416 if (checkTaintedBufferSize(CE, FDecl, C))
609 const FunctionDecl *FDecl = C.getCalleeDecl(CE);
610 if (!FDecl)
613 i = FDecl->specific_attr_begin<FormatAttr>(),
614 e = FDecl->specific_attr_end<FormatAttr>(); i != e ; ++i) {
699 const FunctionDecl *FDecl,
704 if ( (BId = FDecl->getMemoryFunctionKind()) )
719 if (C.isCLibraryFunction(FDecl, "malloc") ||
720 C.isCLibraryFunction(FDecl, "calloc") ||
721 C.isCLibraryFunction(FDecl, "alloca"))
723 else if (C.isCLibraryFunction(FDecl, "memccpy"))
725 else if (C.isCLibraryFunction(FDecl, "realloc"))
727 else if (C.isCLibraryFunction(FDecl, "bcopy"))