StaticAnalyzer/Checkers/UnixAPIChecker.cpp

47   void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
49   void CheckOpen(CheckerContext &C, const CallExpr *CE) const;
50   void CheckOpenAt(CheckerContext &C, const CallExpr *CE) const;
51   void CheckPthreadOnce(CheckerContext &C, const CallExpr *CE) const;
54                         const CallExpr *CE, OpenVariant Variant) const;
65   void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
70   void CheckCallocZero(CheckerContext &C, const CallExpr *CE) const;
71   void CheckMallocZero(CheckerContext &C, const CallExpr *CE) const;
72   void CheckReallocZero(CheckerContext &C, const CallExpr *CE) const;
73   void CheckReallocfZero(CheckerContext &C, const CallExpr *CE) const;
74   void CheckAllocaZero(CheckerContext &C, const CallExpr *CE) const;
75   void CheckAllocaWithAlignZero(CheckerContext &C, const CallExpr *CE) const;
76   void CheckVallocZero(CheckerContext &C, const CallExpr *CE) const;
83                             const CallExpr *CE,
103 void UnixAPIMisuseChecker::checkPreStmt(const CallExpr *CE,
105   const FunctionDecl *FD = C.getCalleeDecl(CE);
120     CheckOpen(C, CE);
123     CheckOpenAt(C, CE);
126     CheckPthreadOnce(C, CE);
144                                      const CallExpr *CE) const {
145   CheckOpenVariant(C, CE, OpenVariant::Open);
149                                        const CallExpr *CE) const {
150   CheckOpenVariant(C, CE, OpenVariant::OpenAt);
154                                             const CallExpr *CE,
183   if (CE->getNumArgs() < MinArgCount) {
187   } else if (CE->getNumArgs() == MaxArgCount) {
188     const Expr *Arg = CE->getArg(CreateModeArgIndex);
202   } else if (CE->getNumArgs() > MaxArgCount) {
210                   CE->getArg(MaxArgCount)->getSourceRange());
230   const Expr *oflagsEx = CE->getArg(FlagsArgIndex);
256   if (CE->getNumArgs() < MaxArgCount) {
274                                       const CallExpr *CE) const {
279   if (CE->getNumArgs() < 1)
285   const MemRegion *R = C.getSVal(CE->getArg(0)).getAsRegion();
309   report->addRange(CE->getArg(0)->getSourceRange());
364                                                      const CallExpr *CE,
369   if (CE->getNumArgs() != numArgs)
375   const Expr *arg = CE->getArg(sizeArg);
393                                                 const CallExpr *CE) const {
394   unsigned int nArgs = CE->getNumArgs();
403     const Expr *arg = CE->getArg(i);
429                                                 const CallExpr *CE) const {
430   BasicAllocationCheck(C, CE, 1, 0, "malloc");
434                                                  const CallExpr *CE) const {
435   BasicAllocationCheck(C, CE, 2, 1, "realloc");
439                                                   const CallExpr *CE) const {
440   BasicAllocationCheck(C, CE, 2, 1, "reallocf");
444                                                 const CallExpr *CE) const {
445   BasicAllocationCheck(C, CE, 1, 0, "alloca");
450                                                      const CallExpr *CE) const {
451   BasicAllocationCheck(C, CE, 2, 0, "__builtin_alloca_with_align");
455                                                 const CallExpr *CE) const {
456   BasicAllocationCheck(C, CE, 1, 0, "valloc");
459 void UnixAPIPortabilityChecker::checkPreStmt(const CallExpr *CE,
461   const FunctionDecl *FD = C.getCalleeDecl(CE);
476     CheckCallocZero(C, CE);
479     CheckMallocZero(C, CE);
482     CheckReallocZero(C, CE);
485     CheckReallocfZero(C, CE);
488     CheckAllocaZero(C, CE);
491     CheckAllocaWithAlignZero(C, CE);
494     CheckVallocZero(C, CE);