reference, declarationdefinition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

Declarations

tools/clang/include/clang/StaticAnalyzer/Core/CheckerManager.h
   42 class CheckerContext;

References

tools/clang/include/clang/StaticAnalyzer/Core/Checker.h
   84   static void _checkStmt(void *checker, const Stmt *S, CheckerContext &C) {
  103   static void _checkStmt(void *checker, const Stmt *S, CheckerContext &C) {
  122                                 CheckerContext &C) {
  137                                 CheckerContext &C) {
  152                                 CheckerContext &C) {
  167                          CheckerContext &C) {
  182                          CheckerContext &C) {
  198                              CheckerContext &C) {
  214                          CheckerContext &C) {
  243   static void _checkBeginFunction(void *checker, CheckerContext &C) {
  258                                 CheckerContext &C) {
  273                                     CheckerContext & C) {
  289                                  SVal Target, CheckerContext &C) {
  320                                 SymbolReaper &SR, CheckerContext &C) {
  478                         CheckerContext &C) {
tools/clang/include/clang/StaticAnalyzer/Core/CheckerManager.h
  442   using CheckStmtFunc = CheckerFn<void (const Stmt *, CheckerContext &)>;
  445       CheckerFn<void (const ObjCMethodCall &, CheckerContext &)>;
  448       CheckerFn<void (const CallEvent &, CheckerContext &)>;
  452                       CheckerContext &)>;
  456                       CheckerContext &)>;
  461   using CheckBeginFunctionFunc = CheckerFn<void (CheckerContext &)>;
  464       CheckerFn<void (const ReturnStmt *, CheckerContext &)>;
  467       CheckerFn<void (const Stmt *, CheckerContext &)>;
  470       CheckerFn<void (const CXXNewExpr *, SVal, CheckerContext &)>;
  473       CheckerFn<void (SymbolReaper &, CheckerContext &)>;
  495   using EvalCallFunc = CheckerFn<bool (const CallEvent &, CheckerContext &)>;
tools/clang/lib/Analysis/plugins/CheckerDependencyHandling/CheckerDependencyHandling.cpp
   11   void checkBeginFunction(CheckerContext &Ctx) const {}
   14   void checkBeginFunction(CheckerContext &Ctx) const {}
tools/clang/lib/Analysis/plugins/CheckerOptionHandling/CheckerOptionHandling.cpp
   11   void checkBeginFunction(CheckerContext &Ctx) const {}
tools/clang/lib/Analysis/plugins/SampleAnalyzer/MainCallChecker.cpp
   14   void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
   19                                    CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/AnalysisOrderChecker.cpp
   51   bool isCallbackEnabled(CheckerContext &C, StringRef CallbackName) const {
   63   void checkPreStmt(const CastExpr *CE, CheckerContext &C) const {
   69   void checkPostStmt(const CastExpr *CE, CheckerContext &C) const {
   76                     CheckerContext &C) const {
   82                      CheckerContext &C) const {
   87   void checkPreStmt(const CXXNewExpr *NE, CheckerContext &C) const {
   92   void checkPostStmt(const CXXNewExpr *NE, CheckerContext &C) const {
   97   void checkPreStmt(const OffsetOfExpr *OOE, CheckerContext &C) const {
  102   void checkPostStmt(const OffsetOfExpr *OOE, CheckerContext &C) const {
  107   void checkPreCall(const CallEvent &Call, CheckerContext &C) const {
  116   void checkPostCall(const CallEvent &Call, CheckerContext &C) const {
  125   void checkEndFunction(const ReturnStmt *S, CheckerContext &C) const {
  143                          CheckerContext &C) const {
  148   void checkBind(SVal Loc, SVal Val, const Stmt *S, CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/ArrayBoundChecker.cpp
   31                      CheckerContext &C) const;
   36                                       CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/ArrayBoundCheckerV2.cpp
   37   void reportOOB(CheckerContext &C, ProgramStateRef errorState, OOB_Kind kind,
   42                      CheckerContext &C) const;
  117                                         CheckerContext &checkerContext) const {
  231     CheckerContext &checkerContext, ProgramStateRef errorState, OOB_Kind kind,
tools/clang/lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp
  115                        CheckerContext &C) const;
  117     void warnIfNilArg(CheckerContext &C,
  126                            CheckerContext &C) const;
  129     void checkPreObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const;
  131                        CheckerContext &C) const;
  133                        CheckerContext &C) const;
  139                                   CheckerContext &C) const {
  149 void NilArgChecker::warnIfNilArg(CheckerContext &C,
  210                                       CheckerContext &C) const {
  221                                         CheckerContext &C) const {
  320                                   CheckerContext &C) const {
  328                                   CheckerContext &C) const {
  348   void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
  428                                          CheckerContext &C) const {
  542   void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
  547                                           CheckerContext &C) const {
  602   void checkPreObjCMessage(const ObjCMethodCall &msg, CheckerContext &C) const;
  607                                               CheckerContext &C) const {
  662   void checkPreObjCMessage(const ObjCMethodCall &msg, CheckerContext &C) const;
  715                                                     CheckerContext &C) const {
  816                                CheckerContext &C) const;
  820   void checkPostStmt(const ObjCForCollectionStmt *FCS, CheckerContext &C) const;
  821   void checkPostObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const;
  822   void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
  855 static ProgramStateRef checkCollectionNonNil(CheckerContext &C,
  880 static ProgramStateRef checkElementNonNil(CheckerContext &C,
  914 assumeCollectionNonEmpty(CheckerContext &C, ProgramStateRef State,
  945 assumeCollectionNonEmpty(CheckerContext &C, ProgramStateRef State,
  977                                     CheckerContext &C) const {
 1000                                               CheckerContext &C) const {
 1012                                            CheckerContext &C) const {
 1120                                        CheckerContext &C) const {
 1156                                       CheckerContext &C) const;
 1157   void assumeExprIsNonNull(const Expr *E, CheckerContext &C) const {
 1161   void checkPostStmt(const ObjCArrayLiteral *E, CheckerContext &C) const {
 1164   void checkPostStmt(const ObjCDictionaryLiteral *E, CheckerContext &C) const {
 1167   void checkPostStmt(const ObjCBoxedExpr *E, CheckerContext &C) const {
 1171   void checkPostObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const;
 1178                                                   CheckerContext &C) const {
 1186                                                         CheckerContext &C)
tools/clang/lib/StaticAnalyzer/Checkers/BlockInCriticalSectionChecker.cpp
   46                                 CheckerContext &C) const;
   58   void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
  144                                                   CheckerContext &C) const {
  167     SymbolRef BlockDescSym, const CallEvent &Call, CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/BoolAssignmentChecker.cpp
   26     void emitReport(ProgramStateRef state, CheckerContext &C) const;
   28     void checkBind(SVal loc, SVal val, const Stmt *S, CheckerContext &C) const;
   33                                        CheckerContext &C) const {
   56                                       CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/BuiltinFunctionChecker.cpp
   27   bool evalCall(const CallEvent &Call, CheckerContext &C) const;
   33                                       CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp
   61   bool evalCall(const CallEvent &Call, CheckerContext &C) const;
   62   void checkPreStmt(const DeclStmt *DS, CheckerContext &C) const;
   64   void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
  108   void evalMemcpy(CheckerContext &C, const CallExpr *CE) const;
  109   void evalMempcpy(CheckerContext &C, const CallExpr *CE) const;
  110   void evalMemmove(CheckerContext &C, const CallExpr *CE) const;
  111   void evalBcopy(CheckerContext &C, const CallExpr *CE) const;
  112   void evalCopyCommon(CheckerContext &C, const CallExpr *CE,
  120   void evalMemcmp(CheckerContext &C, const CallExpr *CE) const;
  122   void evalstrLength(CheckerContext &C, const CallExpr *CE) const;
  123   void evalstrnLength(CheckerContext &C, const CallExpr *CE) const;
  124   void evalstrLengthCommon(CheckerContext &C,
  128   void evalStrcpy(CheckerContext &C, const CallExpr *CE) const;
  129   void evalStrncpy(CheckerContext &C, const CallExpr *CE) const;
  130   void evalStpcpy(CheckerContext &C, const CallExpr *CE) const;
  131   void evalStrlcpy(CheckerContext &C, const CallExpr *CE) const;
  132   void evalStrcpyCommon(CheckerContext &C,
  139   void evalStrcat(CheckerContext &C, const CallExpr *CE) const;
  140   void evalStrncat(CheckerContext &C, const CallExpr *CE) const;
  141   void evalStrlcat(CheckerContext &C, const CallExpr *CE) const;
  143   void evalStrcmp(CheckerContext &C, const CallExpr *CE) const;
  144   void evalStrncmp(CheckerContext &C, const CallExpr *CE) const;
  145   void evalStrcasecmp(CheckerContext &C, const CallExpr *CE) const;
  146   void evalStrncasecmp(CheckerContext &C, const CallExpr *CE) const;
  147   void evalStrcmpCommon(CheckerContext &C,
  152   void evalStrsep(CheckerContext &C, const CallExpr *CE) const;
  154   void evalStdCopy(CheckerContext &C, const CallExpr *CE) const;
  155   void evalStdCopyBackward(CheckerContext &C, const CallExpr *CE) const;
  156   void evalStdCopyCommon(CheckerContext &C, const CallExpr *CE) const;
  157   void evalMemset(CheckerContext &C, const CallExpr *CE) const;
  158   void evalBzero(CheckerContext &C, const CallExpr *CE) const;
  162   static assumeZero(CheckerContext &C,
  168   static SVal getCStringLengthForRegion(CheckerContext &C,
  173   SVal getCStringLength(CheckerContext &C,
  179   const StringLiteral *getCStringLiteral(CheckerContext &C,
  184   static ProgramStateRef InvalidateBuffer(CheckerContext &C,
  194                         const Expr *Size, CheckerContext &C,
  198   ProgramStateRef checkNonNull(CheckerContext &C,
  203   ProgramStateRef CheckLocation(CheckerContext &C,
  208   ProgramStateRef CheckBufferAccess(CheckerContext &C,
  217   ProgramStateRef CheckBufferAccess(CheckerContext &C,
  227   ProgramStateRef CheckOverlap(CheckerContext &C,
  232   void emitOverlapBug(CheckerContext &C,
  237   void emitNullArgBug(CheckerContext &C, ProgramStateRef State, const Stmt *S,
  239   void emitOutOfBoundsBug(CheckerContext &C, ProgramStateRef State,
  241   void emitNotCStringBug(CheckerContext &C, ProgramStateRef State,
  243   void emitAdditionOverflowBug(CheckerContext &C, ProgramStateRef State) const;
  245   ProgramStateRef checkAdditionOverflow(CheckerContext &C,
  253   static bool IsFirstBufInBound(CheckerContext &C,
  268 CStringChecker::assumeZero(CheckerContext &C, ProgramStateRef state, SVal V,
  279 ProgramStateRef CStringChecker::checkNonNull(CheckerContext &C,
  310 ProgramStateRef CStringChecker::CheckLocation(CheckerContext &C,
  370 ProgramStateRef CStringChecker::CheckBufferAccess(CheckerContext &C,
  449 ProgramStateRef CStringChecker::CheckOverlap(CheckerContext &C,
  562 void CStringChecker::emitOverlapBug(CheckerContext &C, ProgramStateRef state,
  581 void CStringChecker::emitNullArgBug(CheckerContext &C, ProgramStateRef State,
  598 void CStringChecker::emitOutOfBoundsBug(CheckerContext &C,
  620 void CStringChecker::emitNotCStringBug(CheckerContext &C, ProgramStateRef State,
  637 void CStringChecker::emitAdditionOverflowBug(CheckerContext &C,
  658 ProgramStateRef CStringChecker::checkAdditionOverflow(CheckerContext &C,
  753 SVal CStringChecker::getCStringLengthForRegion(CheckerContext &C,
  792 SVal CStringChecker::getCStringLength(CheckerContext &C, ProgramStateRef &state,
  866 const StringLiteral *CStringChecker::getCStringLiteral(CheckerContext &C,
  886 bool CStringChecker::IsFirstBufInBound(CheckerContext &C,
  952 ProgramStateRef CStringChecker::InvalidateBuffer(CheckerContext &C,
 1047                                const Expr *Size, CheckerContext &C,
 1138 void CStringChecker::evalCopyCommon(CheckerContext &C,
 1240 void CStringChecker::evalMemcpy(CheckerContext &C, const CallExpr *CE) const {
 1249 void CStringChecker::evalMempcpy(CheckerContext &C, const CallExpr *CE) const {
 1258 void CStringChecker::evalMemmove(CheckerContext &C, const CallExpr *CE) const {
 1267 void CStringChecker::evalBcopy(CheckerContext &C, const CallExpr *CE) const {
 1273 void CStringChecker::evalMemcmp(CheckerContext &C, const CallExpr *CE) const {
 1346 void CStringChecker::evalstrLength(CheckerContext &C,
 1352 void CStringChecker::evalstrnLength(CheckerContext &C,
 1358 void CStringChecker::evalstrLengthCommon(CheckerContext &C, const CallExpr *CE,
 1477 void CStringChecker::evalStrcpy(CheckerContext &C, const CallExpr *CE) const {
 1485 void CStringChecker::evalStrncpy(CheckerContext &C, const CallExpr *CE) const {
 1493 void CStringChecker::evalStpcpy(CheckerContext &C, const CallExpr *CE) const {
 1501 void CStringChecker::evalStrlcpy(CheckerContext &C, const CallExpr *CE) const {
 1510 void CStringChecker::evalStrcat(CheckerContext &C, const CallExpr *CE) const {
 1518 void CStringChecker::evalStrncat(CheckerContext &C, const CallExpr *CE) const {
 1526 void CStringChecker::evalStrlcat(CheckerContext &C, const CallExpr *CE) const {
 1539 void CStringChecker::evalStrcpyCommon(CheckerContext &C, const CallExpr *CE,
 1882 void CStringChecker::evalStrcmp(CheckerContext &C, const CallExpr *CE) const {
 1887 void CStringChecker::evalStrncmp(CheckerContext &C, const CallExpr *CE) const {
 1892 void CStringChecker::evalStrcasecmp(CheckerContext &C,
 1898 void CStringChecker::evalStrncasecmp(CheckerContext &C,
 1904 void CStringChecker::evalStrcmpCommon(CheckerContext &C, const CallExpr *CE,
 2031 void CStringChecker::evalStrsep(CheckerContext &C, const CallExpr *CE) const {
 2090 void CStringChecker::evalStdCopy(CheckerContext &C, const CallExpr *CE) const {
 2094 void CStringChecker::evalStdCopyBackward(CheckerContext &C,
 2099 void CStringChecker::evalStdCopyCommon(CheckerContext &C,
 2127 void CStringChecker::evalMemset(CheckerContext &C, const CallExpr *CE) const {
 2175 void CStringChecker::evalBzero(CheckerContext &C, const CallExpr *CE) const {
 2255 bool CStringChecker::evalCall(const CallEvent &Call, CheckerContext &C) const {
 2275 void CStringChecker::checkPreStmt(const DeclStmt *DS, CheckerContext &C) const {
 2380     CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/CStringSyntaxChecker.cpp
   59       return (CheckerContext::isCLibraryFunction(FD, "strlen") &&
  218   if (CheckerContext::isCLibraryFunction(FD, "strncat")) {
  242   } else if (CheckerContext::isCLibraryFunction(FD, "strlcpy") ||
  243              CheckerContext::isCLibraryFunction(FD, "strlcat")) {
tools/clang/lib/StaticAnalyzer/Checkers/CXXSelfAssignmentChecker.cpp
   32   void checkBeginFunction(CheckerContext &C) const;
   38 void CXXSelfAssignmentChecker::checkBeginFunction(CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp
   54   void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
   55   void checkPreStmt(const CXXDeleteExpr *DE, CheckerContext &C) const;
   56   void checkPreObjCMessage(const ObjCMethodCall &msg, CheckerContext &C) const;
   61   void checkObjCMessageNil(const ObjCMethodCall &msg, CheckerContext &C) const;
   63   void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
   66   bool PreVisitProcessArg(CheckerContext &C, SVal V, SourceRange ArgRange,
   72   static void emitBadCall(BugType *BT, CheckerContext &C, const Expr *BadE);
   73   void emitNilReceiverBug(CheckerContext &C, const ObjCMethodCall &msg,
   76   void HandleNilReceiver(CheckerContext &C,
   84   bool uninitRefOrPointer(CheckerContext &C, const SVal &V,
   92 void CallAndMessageChecker::emitBadCall(BugType *BT, CheckerContext &C,
  144     CheckerContext &C, const SVal &V, SourceRange ArgRange, const Expr *ArgEx,
  232 bool CallAndMessageChecker::PreVisitProcessArg(CheckerContext &C,
  315                                          CheckerContext &C) const{
  345                                          CheckerContext &C) const {
  369                                          CheckerContext &C) const {
  457                                                 CheckerContext &C) const {
  499                                                 CheckerContext &C) const {
  503 void CallAndMessageChecker::emitNilReceiverBug(CheckerContext &C,
  544 void CallAndMessageChecker::HandleNilReceiver(CheckerContext &C,
tools/clang/lib/StaticAnalyzer/Checkers/CastSizeChecker.cpp
   28   void checkPreStmt(const CastExpr *CE, CheckerContext &C) const;
   87 void CastSizeChecker::checkPreStmt(const CastExpr *CE,CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/CastValueChecker.cpp
   38                          DefinedOrUnknownSVal, CheckerContext &)>;
   53   bool evalCall(const CallEvent &Call, CheckerContext &C) const;
   77                 CheckerContext &C) const;
   79                    CheckerContext &C) const;
   81                       CheckerContext &C) const;
   83                          CheckerContext &C) const;
   85                   CheckerContext &C) const;
   87                  CheckerContext &C) const;
   89                CheckerContext &C) const;
   91                          CheckerContext &C) const;
  103 static const NoteTag *getNoteTag(CheckerContext &C,
  156                               CheckerContext &C, bool IsNonNullParam,
  218                                     ProgramStateRef State, CheckerContext &C,
  264                                           CheckerContext &C,
  272                                        CheckerContext &C) {
  279                                     CheckerContext &C) {
  289                                 CheckerContext &C) const {
  295                                    CheckerContext &C) const {
  302                                       CheckerContext &C) const {
  309                                          CheckerContext &C) const {
  321                                        CheckerContext &C,
  329                                     CheckerContext &C) {
  336                                   CheckerContext &C) const {
  341                                  CheckerContext &C) const {
  351                                CheckerContext &C) const {
  367                                          CheckerContext &C) const {
  386                                 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/CheckObjCDealloc.cpp
  115   void checkBeginFunction(CheckerContext &Ctx) const;
  116   void checkPreObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const;
  117   void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
  118   void checkPostObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const;
  127   void checkPreStmt(const ReturnStmt *RS, CheckerContext &C) const;
  128   void checkEndFunction(const ReturnStmt *RS, CheckerContext &Ctx) const;
  131   void diagnoseMissingReleases(CheckerContext &C) const;
  134                             CheckerContext &C) const;
  138                                CheckerContext &C) const;
  141                                          CheckerContext &C) const;
  148                                      CheckerContext &C) const;
  153   bool isInInstanceDealloc(const CheckerContext &C, SVal &SelfValOut) const;
  154   bool isInInstanceDealloc(const CheckerContext &C, const LocationContext *LCtx,
  156   bool instanceDeallocIsOnStack(const CheckerContext &C,
  166   void transitionToReleaseValue(CheckerContext &C, SymbolRef Value) const;
  254     CheckerContext &C) const {
  329     const ObjCMethodCall &M, CheckerContext &C) const {
  364                                       CheckerContext &C) const {
  381     const ObjCMethodCall &M, CheckerContext &C) const {
  392     const ReturnStmt *RS, CheckerContext &C) const {
  398     const ReturnStmt *RS, CheckerContext &C) const {
  487 void ObjCDeallocChecker::diagnoseMissingReleases(CheckerContext &C) const {
  607     SymbolRef IvarSym, CheckerContext &C) const {
  637                                               CheckerContext &C) const {
  715                                                  CheckerContext &C) const {
  835 void ObjCDeallocChecker::transitionToReleaseValue(CheckerContext &C,
  926                                                  CheckerContext &C) const {
  967 bool ObjCDeallocChecker::isInInstanceDealloc(const CheckerContext &C,
  975 bool ObjCDeallocChecker::isInInstanceDealloc(const CheckerContext &C,
  993 bool ObjCDeallocChecker::instanceDeallocIsOnStack(const CheckerContext &C,
tools/clang/lib/StaticAnalyzer/Checkers/CheckerDocumentation.cpp
   72   void checkPreStmt(const ReturnStmt *DS, CheckerContext &C) const {}
   82   void checkPostStmt(const DeclStmt *DS, CheckerContext &C) const;
   91   void checkPreObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const {}
   97   void checkPostObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const {}
  106   void checkObjCMessageNil(const ObjCMethodCall &M, CheckerContext &C) const {}
  118   void checkPreCall(const CallEvent &Call, CheckerContext &C) const {}
  124   void checkPostCall(const CallEvent &Call, CheckerContext &C) const {}
  127   void checkBranchCondition(const Stmt *Condition, CheckerContext &Ctx) const {}
  143                          CheckerContext &) const {}
  155                      CheckerContext &) const {}
  164   void checkBind(SVal Loc, SVal Val, const Stmt *S, CheckerContext &) const {}
  180   void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const {}
  187   void checkBeginFunction(CheckerContext &Ctx) const {}
  194   void checkEndFunction(const ReturnStmt *RS, CheckerContext &Ctx) const {}
  229   bool evalCall(const CallExpr *CE, CheckerContext &C) const { return true; }
  330                                          CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/ChrootChecker.cpp
   55   bool evalCall(const CallEvent &Call, CheckerContext &C) const;
   56   void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
   59   void evalChroot(const CallEvent &Call, CheckerContext &C) const;
   60   void evalChdir(const CallEvent &Call, CheckerContext &C) const;
   65 bool ChrootChecker::evalCall(const CallEvent &Call, CheckerContext &C) const {
   78 void ChrootChecker::evalChroot(const CallEvent &Call, CheckerContext &C) const {
   88 void ChrootChecker::evalChdir(const CallEvent &Call, CheckerContext &C) const {
  116                                  CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/ConversionChecker.cpp
   42   void checkPreStmt(const ImplicitCastExpr *Cast, CheckerContext &C) const;
   48                          CheckerContext &C) const;
   50   bool isLossOfSign(const ImplicitCastExpr *Cast, CheckerContext &C) const;
   52   void reportBug(ExplodedNode *N, CheckerContext &C, const char Msg[]) const;
   57                                      CheckerContext &C) const {
  117 void ConversionChecker::reportBug(ExplodedNode *N, CheckerContext &C,
  130                                           CheckerContext &C) const {
  185                                      CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/DebugCheckers.cpp
  331   void checkPreStmt(const Stmt *S, CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/DeleteWithNonVirtualDtorChecker.cpp
   57   void checkPreStmt(const CXXDeleteExpr *DE, CheckerContext &C) const;
   62                                                    CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/DereferenceChecker.cpp
   36   void reportBug(ProgramStateRef State, const Stmt *S, CheckerContext &C) const;
   40                      CheckerContext &C) const;
   41   void checkBind(SVal L, SVal V, const Stmt *S, CheckerContext &C) const;
  120                                    CheckerContext &C) const {
  195                                        CheckerContext &C) const {
  247                                    CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp
   28   void reportBug(const char *Msg, ProgramStateRef StateZero, CheckerContext &C,
   32   void checkPreStmt(const BinaryOperator *B, CheckerContext &C) const;
   44     const char *Msg, ProgramStateRef StateZero, CheckerContext &C,
   58                                   CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/DynamicTypeChecker.cpp
   61                        CheckerContext &C) const;
   64   void checkPostStmt(const ImplicitCastExpr *CE, CheckerContext &C) const;
   72                                          CheckerContext &C) const {
  155                                        CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp
   59                                                     CheckerContext &C) const;
   63                                                  CheckerContext &C) const;
   67                                               CheckerContext &C) const;
   97                          SymbolRef Sym, CheckerContext &C,
  101   void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
  102   void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
  103   void checkPostStmt(const CastExpr *CastE, CheckerContext &C) const;
  104   void checkPostStmt(const CXXNewExpr *NewE, CheckerContext &C) const;
  105   void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
  106   void checkPreObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const;
  107   void checkPostObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const;
  115                                               CheckerContext &C) const {
  132                             CheckerContext &C) {
  145                                           CheckerContext &C) const {
  189                                            CheckerContext &C) const {
  276     const CastExpr *CE, ProgramStateRef &State, CheckerContext &C) const {
  293                                            CheckerContext &C) const {
  308                                                     CheckerContext &C) const {
  345                                           CheckerContext &C) const {
  521                                            CheckerContext &C) const {
  705                                                  CheckerContext &C) const {
  815                                                   CheckerContext &C) const {
  901     ExplodedNode *N, SymbolRef Sym, CheckerContext &C,
tools/clang/lib/StaticAnalyzer/Checkers/EnumCastOutOfRangeChecker.cpp
   40   ConstraintBasedEQEvaluator(CheckerContext &C,
   61   void reportWarning(CheckerContext &C) const;
   64   void checkPreStmt(const CastExpr *CE, CheckerContext &C) const;
   79 void EnumCastOutOfRangeChecker::reportWarning(CheckerContext &C) const {
   93                                              CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/ExprInspectionChecker.cpp
   35   void analyzerEval(const CallExpr *CE, CheckerContext &C) const;
   36   void analyzerCheckInlined(const CallExpr *CE, CheckerContext &C) const;
   37   void analyzerWarnIfReached(const CallExpr *CE, CheckerContext &C) const;
   38   void analyzerNumTimesReached(const CallExpr *CE, CheckerContext &C) const;
   39   void analyzerCrash(const CallExpr *CE, CheckerContext &C) const;
   40   void analyzerWarnOnDeadSymbol(const CallExpr *CE, CheckerContext &C) const;
   41   void analyzerDump(const CallExpr *CE, CheckerContext &C) const;
   42   void analyzerExplain(const CallExpr *CE, CheckerContext &C) const;
   43   void analyzerPrintState(const CallExpr *CE, CheckerContext &C) const;
   44   void analyzerGetExtent(const CallExpr *CE, CheckerContext &C) const;
   45   void analyzerHashDump(const CallExpr *CE, CheckerContext &C) const;
   46   void analyzerDenote(const CallExpr *CE, CheckerContext &C) const;
   47   void analyzerExpress(const CallExpr *CE, CheckerContext &C) const;
   52   ExplodedNode *reportBug(llvm::StringRef Msg, CheckerContext &C) const;
   57   bool evalCall(const CallEvent &Call, CheckerContext &C) const;
   58   void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
   68                                      CheckerContext &C) const {
  104                                           CheckerContext &C) {
  136                                                CheckerContext &C) const {
  156                                          CheckerContext &C) const {
  168                                                   CheckerContext &C) const {
  173                                                     CheckerContext &C) const {
  182                                                  CheckerContext &C) const {
  197                                             CheckerContext &C) const {
  209                                          CheckerContext &C) const {
  224                                               CheckerContext &C) const {
  243                                                CheckerContext &C) const {
  248                                                      CheckerContext &C) const {
  262                                              CheckerContext &C) const {
  298                                           CheckerContext &C) const {
  303                                              CheckerContext &C) const {
  315                                            CheckerContext &C) const {
  391                                             CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/FixedAddressChecker.cpp
   30   void checkPreStmt(const BinaryOperator *B, CheckerContext &C) const;
   35                                        CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/GTestChecker.cpp
  100   void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
  104                                            bool IsRef, CheckerContext &C) const;
  107                                            CheckerContext &C) const;
  118                                            CheckerContext &C);
  131     const CXXConstructorCall *Call, bool IsRef, CheckerContext &C) const {
  160     const CXXConstructorCall *Call, CheckerContext &C) const {
  182                                  CheckerContext &C) const {
  272                                                 CheckerContext &C) {
tools/clang/lib/StaticAnalyzer/Checkers/GenericTaintChecker.cpp
   45   void checkPostStmt(const CallExpr *CE, CheckerContext &C) const;
   47   void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
  102   bool checkPre(const CallExpr *CE, CheckerContext &C) const;
  105   void addSourcesPre(const CallExpr *CE, CheckerContext &C) const;
  108   bool propagateFromPre(const CallExpr *CE, CheckerContext &C) const;
  112   static bool isStdin(const Expr *E, CheckerContext &C);
  115   static Optional<SVal> getPointedToSVal(CheckerContext &C, const Expr *Arg);
  122                                      CheckerContext &C) const;
  131                        CheckerContext &C) const;
  140                               CheckerContext &C) const;
  146                         CheckerContext &C) const;
  150                                CheckerContext &C) const;
  167                                          CheckerContext &C);
  197                             CheckerContext &C);
  212                                            CheckerContext &C) {
  225     ProgramStateRef process(const CallExpr *CE, CheckerContext &C) const;
  229                            CheckerContext &C);
  342     StringRef Name, CheckerContext &C) {
  444                                        CheckerContext &C) const {
  456                                         CheckerContext &C) const {
  468                                         CheckerContext &C) const {
  495                                            CheckerContext &C) const {
  533                                    CheckerContext &C) const {
  558 Optional<SVal> GenericTaintChecker::getPointedToSVal(CheckerContext &C,
  585                                                    CheckerContext &C) const {
  651                                                            CheckerContext &C) {
  662 bool GenericTaintChecker::isStdin(const Expr *E, CheckerContext &C) {
  698                                        const CheckerContext &C,
  722                                                   CheckerContext &C) const {
  749     const CallExpr *CE, CheckerContext &C) const {
  762                                           CheckerContext &C) const {
  789                                                  CheckerContext &C) const {
  825                                            CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/InnerPointerChecker.cpp
   97                               CheckerContext &C) const;
  103                               CheckerContext &C) const;
  108   void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
  111   void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
  136                                                  CheckerContext &C) const {
  152                                                  CheckerContext &C) const {
  195                                         CheckerContext &C) const {
  235                                            CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp
  182   void handleComparison(CheckerContext &C, const Expr *CE, const SVal &RetVal,
  185   void processComparison(CheckerContext &C, ProgramStateRef State,
  188   void verifyAccess(CheckerContext &C, const SVal &Val) const;
  189   void verifyDereference(CheckerContext &C, const SVal &Val) const;
  190   void handleIncrement(CheckerContext &C, const SVal &RetVal, const SVal &Iter,
  192   void handleDecrement(CheckerContext &C, const SVal &RetVal, const SVal &Iter,
  194   void handleRandomIncrOrDecr(CheckerContext &C, OverloadedOperatorKind Op,
  197   void handleBegin(CheckerContext &C, const Expr *CE, const SVal &RetVal,
  199   void handleEnd(CheckerContext &C, const Expr *CE, const SVal &RetVal,
  201   void assignToContainer(CheckerContext &C, const Expr *CE, const SVal &RetVal,
  203   void handleAssign(CheckerContext &C, const SVal &Cont,
  206   void handleClear(CheckerContext &C, const SVal &Cont) const;
  207   void handlePushBack(CheckerContext &C, const SVal &Cont) const;
  208   void handlePopBack(CheckerContext &C, const SVal &Cont) const;
  209   void handlePushFront(CheckerContext &C, const SVal &Cont) const;
  210   void handlePopFront(CheckerContext &C, const SVal &Cont) const;
  211   void handleInsert(CheckerContext &C, const SVal &Iter) const;
  212   void handleErase(CheckerContext &C, const SVal &Iter) const;
  213   void handleErase(CheckerContext &C, const SVal &Iter1,
  215   void handleEraseAfter(CheckerContext &C, const SVal &Iter) const;
  216   void handleEraseAfter(CheckerContext &C, const SVal &Iter1,
  218   void verifyIncrement(CheckerContext &C, const SVal &Iter) const;
  219   void verifyDecrement(CheckerContext &C, const SVal &Iter) const;
  220   void verifyRandomIncrOrDecr(CheckerContext &C, OverloadedOperatorKind Op,
  222   void verifyMatch(CheckerContext &C, const SVal &Iter,
  224   void verifyMatch(CheckerContext &C, const SVal &Iter1,
  226   IteratorPosition advancePosition(CheckerContext &C, OverloadedOperatorKind Op,
  230                            CheckerContext &C, ExplodedNode *ErrNode) const;
  232                            const SVal &Val2, CheckerContext &C,
  235                            const MemRegion *Reg, CheckerContext &C,
  238                             CheckerContext &C, ExplodedNode *ErrNode) const;
  253   void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
  254   void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
  255   void checkBind(SVal Loc, SVal Val, const Stmt *S, CheckerContext &C) const;
  256   void checkPostStmt(const CXXConstructExpr *CCE, CheckerContext &C) const;
  257   void checkPostStmt(const DeclStmt *DS, CheckerContext &C) const;
  259                      CheckerContext &C) const;
  261   void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
  368                                    CheckerContext &C) const {
  559                                     CheckerContext &C) const {
  750                                 CheckerContext &C) const {
  766                                     CheckerContext &C) const {
  814                                        CheckerContext &C) const {
  851 void IteratorChecker::handleComparison(CheckerContext &C, const Expr *CE,
  894 void IteratorChecker::processComparison(CheckerContext &C,
  924 void IteratorChecker::verifyDereference(CheckerContext &C,
  937 void IteratorChecker::verifyAccess(CheckerContext &C, const SVal &Val) const {
  949 void IteratorChecker::handleIncrement(CheckerContext &C, const SVal &RetVal,
  967 void IteratorChecker::handleDecrement(CheckerContext &C, const SVal &RetVal,
  985 void IteratorChecker::handleRandomIncrOrDecr(CheckerContext &C,
 1009 void IteratorChecker::verifyIncrement(CheckerContext &C,
 1016 void IteratorChecker::verifyDecrement(CheckerContext &C,
 1023 void IteratorChecker::verifyRandomIncrOrDecr(CheckerContext &C,
 1064 void IteratorChecker::verifyMatch(CheckerContext &C, const SVal &Iter,
 1100 void IteratorChecker::verifyMatch(CheckerContext &C, const SVal &Iter1,
 1138 void IteratorChecker::handleBegin(CheckerContext &C, const Expr *CE,
 1160 void IteratorChecker::handleEnd(CheckerContext &C, const Expr *CE,
 1182 void IteratorChecker::assignToContainer(CheckerContext &C, const Expr *CE,
 1197 void IteratorChecker::handleAssign(CheckerContext &C, const SVal &Cont,
 1273 void IteratorChecker::handleClear(CheckerContext &C, const SVal &Cont) const {
 1299 void IteratorChecker::handlePushBack(CheckerContext &C,
 1337 void IteratorChecker::handlePopBack(CheckerContext &C, const SVal &Cont) const {
 1374 void IteratorChecker::handlePushFront(CheckerContext &C,
 1407 void IteratorChecker::handlePopFront(CheckerContext &C,
 1441 void IteratorChecker::handleInsert(CheckerContext &C, const SVal &Iter) const {
 1466 void IteratorChecker::handleErase(CheckerContext &C, const SVal &Iter) const {
 1494 void IteratorChecker::handleErase(CheckerContext &C, const SVal &Iter1,
 1526 void IteratorChecker::handleEraseAfter(CheckerContext &C,
 1547 void IteratorChecker::handleEraseAfter(CheckerContext &C, const SVal &Iter1,
 1561 IteratorPosition IteratorChecker::advancePosition(CheckerContext &C,
 1591                                           const SVal &Val, CheckerContext &C,
 1601                                           CheckerContext &C,
 1612                                           CheckerContext &C,
 1622                                            const SVal &Val, CheckerContext &C,
tools/clang/lib/StaticAnalyzer/Checkers/LocalizationChecker.cpp
   76   bool hasNonLocalizedState(SVal S, CheckerContext &C) const;
   77   bool hasLocalizedState(SVal S, CheckerContext &C) const;
   78   void setNonLocalizedState(SVal S, CheckerContext &C) const;
   79   void setLocalizedState(SVal S, CheckerContext &C) const;
   83   void reportLocalizationError(SVal S, const CallEvent &M, CheckerContext &C,
   97   void checkPreObjCMessage(const ObjCMethodCall &msg, CheckerContext &C) const;
   98   void checkPostObjCMessage(const ObjCMethodCall &msg, CheckerContext &C) const;
   99   void checkPostStmt(const ObjCStringLiteral *SL, CheckerContext &C) const;
  100   void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
  101   void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
  672                                                   CheckerContext &C) const {
  685                                                      CheckerContext &C) const {
  697                                                   CheckerContext &C) const {
  708                                                      CheckerContext &C) const {
  726 static bool isDebuggingContext(CheckerContext &C) {
  749     SVal S, const CallEvent &M, CheckerContext &C, int argumentNumber) const {
  800                                                     CheckerContext &C) const {
  884                                              CheckerContext &C) const {
  924                                               CheckerContext &C) const {
  970                                                      CheckerContext &C) const {
  995                                               CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/MIGChecker.cpp
   89   void checkReturnAux(const ReturnStmt *RS, CheckerContext &C) const;
   92   void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
  100   void checkPreStmt(const ReturnStmt *RS, CheckerContext &C) const {
  103   void checkEndFunction(const ReturnStmt *RS, CheckerContext &C) const {
  117 static const ParmVarDecl *getOriginParam(SVal V, CheckerContext &C,
  145 static bool isInMIGCall(CheckerContext &C) {
  181 void MIGChecker::checkPostCall(const CallEvent &Call, CheckerContext &C) const {
  225 static bool mayBeSuccess(SVal V, CheckerContext &C) {
  245 void MIGChecker::checkReturnAux(const ReturnStmt *RS, CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/MPIChecker.cpp
   25                                         CheckerContext &Ctx) const {
   57                                      CheckerContext &Ctx) const {
  101                                    CheckerContext &Ctx) const {
  147     const MemRegion *const MR, const CallEvent &CE, CheckerContext &Ctx) const {
tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/MPIChecker.h
   35   void checkPreCall(const CallEvent &CE, CheckerContext &Ctx) const {
   41   void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &Ctx) const {
   46   void dynamicInit(CheckerContext &Ctx) const {
   59                               clang::ento::CheckerContext &Ctx) const;
   67                            clang::ento::CheckerContext &Ctx) const;
   73                          clang::ento::CheckerContext &Ctx) const;
   87       clang::ento::CheckerContext &Ctx) const;
tools/clang/lib/StaticAnalyzer/Checkers/MacOSKeychainAPIChecker.cpp
   59   void checkPreStmt(const CallExpr *S, CheckerContext &C) const;
   60   void checkPostStmt(const CallExpr *S, CheckerContext &C) const;
   61   void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
  110                                          CheckerContext &C) const;
  114                                         CheckerContext &C) const;
  119                                          CheckerContext &C) const;
  209                                     CheckerContext &C) {
  227                                     CheckerContext &C) const {
  250                                            CheckerContext &C) const {
  403                                             CheckerContext &C) const {
  451                                            CheckerContext &C) const {
  474     const AllocationPair &AP, ExplodedNode *N, CheckerContext &C) const {
  542                                                CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/MacOSXAPIChecker.cpp
   38   void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
   40   void CheckDispatchOnce(CheckerContext &C, const CallExpr *CE,
   64 void MacOSXAPIChecker::CheckDispatchOnce(CheckerContext &C, const CallExpr *CE,
  153                                     CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp
   96 getAllocationFamily(const MemFunctionInfoTy &MemFunctionInfo, CheckerContext &C,
  102 static bool printAllocDeallocName(raw_ostream &os, CheckerContext &C,
  109                                    CheckerContext &C, const Expr *E);
  203 static bool isReleased(SymbolRef Sym, CheckerContext &C);
  208 static ProgramStateRef MallocUpdateRefState(CheckerContext &C, const Expr *E,
  359   void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
  360   void checkPostStmt(const CallExpr *CE, CheckerContext &C) const;
  361   void checkPostStmt(const CXXNewExpr *NE, CheckerContext &C) const;
  363                          CheckerContext &C) const;
  364   void checkPreStmt(const CXXDeleteExpr *DE, CheckerContext &C) const;
  365   void checkPostObjCMessage(const ObjCMethodCall &Call, CheckerContext &C) const;
  366   void checkPostStmt(const BlockExpr *BE, CheckerContext &C) const;
  367   void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
  368   void checkPreStmt(const ReturnStmt *S, CheckerContext &C) const;
  369   void checkEndFunction(const ReturnStmt *S, CheckerContext &C) const;
  373                      CheckerContext &C) const;
  403   void processNewAllocation(const CXXNewExpr *NE, CheckerContext &C,
  414   static ProgramStateRef ProcessZeroAllocCheck(CheckerContext &C, const Expr *E,
  435   ProgramStateRef MallocMemReturnsAttr(CheckerContext &C,
  449   static ProgramStateRef MallocMemAux(CheckerContext &C, const CallExpr *CE,
  463   static ProgramStateRef MallocMemAux(CheckerContext &C, const CallExpr *CE,
  468   static ProgramStateRef addExtentSize(CheckerContext &C, const CXXNewExpr *NE,
  474   performKernelMalloc(const CallExpr *CE, CheckerContext &C,
  494   ProgramStateRef FreeMemAttr(CheckerContext &C, const CallExpr *CE,
  517   ProgramStateRef FreeMemAux(CheckerContext &C, const CallExpr *CE,
  541   ProgramStateRef FreeMemAux(CheckerContext &C, const Expr *ArgExpr,
  559   ProgramStateRef ReallocMemAux(CheckerContext &C, const CallExpr *CE,
  568   static SVal evalMulForBufferSize(CheckerContext &C, const Expr *Blocks,
  576   static ProgramStateRef CallocMem(CheckerContext &C, const CallExpr *CE,
  582                                                  CheckerContext &C) const;
  585   bool checkUseAfterFree(SymbolRef Sym, CheckerContext &C, const Stmt *S) const;
  589   void checkUseZeroAllocated(SymbolRef Sym, CheckerContext &C,
  593   bool checkDoubleDelete(SymbolRef Sym, CheckerContext &C) const;
  617   void checkEscapeOnReturn(const ReturnStmt *S, CheckerContext &C) const;
  625   Optional<CheckKind> getCheckIfTracked(CheckerContext &C,
  628   Optional<CheckKind> getCheckIfTracked(CheckerContext &C, SymbolRef Sym,
  634   void ReportBadFree(CheckerContext &C, SVal ArgVal, SourceRange Range,
  636   void ReportFreeAlloca(CheckerContext &C, SVal ArgVal,
  638   void ReportMismatchedDealloc(CheckerContext &C, SourceRange Range,
  641   void ReportOffsetFree(CheckerContext &C, SVal ArgVal, SourceRange Range,
  644   void ReportUseAfterFree(CheckerContext &C, SourceRange Range,
  646   void ReportDoubleFree(CheckerContext &C, SourceRange Range, bool Released,
  649   void ReportDoubleDelete(CheckerContext &C, SymbolRef Sym) const;
  651   void ReportUseZeroAllocated(CheckerContext &C, SourceRange Range,
  654   void ReportFunctionPointerFree(CheckerContext &C, SVal ArgVal,
  660                                     CheckerContext &C);
  662   void reportLeak(SymbolRef Sym, ExplodedNode *N, CheckerContext &C) const;
  967   const CallExpr *CE, CheckerContext &C, const ProgramStateRef &State) const {
 1044 SVal MallocChecker::evalMulForBufferSize(CheckerContext &C, const Expr *Blocks,
 1055 void MallocChecker::checkPostStmt(const CallExpr *CE, CheckerContext &C) const {
 1231     CheckerContext &C, const Expr *E, const unsigned IndexOfSizeArg,
 1334                                          CheckerContext &C,
 1362                                   CheckerContext &C) const {
 1368                                       CheckerContext &C) const {
 1376 ProgramStateRef MallocChecker::addExtentSize(CheckerContext &C,
 1419                                  CheckerContext &C) const {
 1461                                          CheckerContext &C) const {
 1482 MallocChecker::MallocMemReturnsAttr(CheckerContext &C, const CallExpr *CE,
 1499 ProgramStateRef MallocChecker::MallocMemAux(CheckerContext &C,
 1510 ProgramStateRef MallocChecker::MallocMemAux(CheckerContext &C,
 1554 static ProgramStateRef MallocUpdateRefState(CheckerContext &C, const Expr *E,
 1578 ProgramStateRef MallocChecker::FreeMemAttr(CheckerContext &C,
 1600 ProgramStateRef MallocChecker::FreeMemAux(CheckerContext &C, const CallExpr *CE,
 1630 getAllocationFamily(const MemFunctionInfoTy &MemFunctionInfo, CheckerContext &C,
 1679 static bool printAllocDeallocName(raw_ostream &os, CheckerContext &C,
 1721                                    CheckerContext &C, const Expr *E) {
 1747 ProgramStateRef MallocChecker::FreeMemAux(CheckerContext &C,
 1940 MallocChecker::getCheckIfTracked(CheckerContext &C,
 1948 MallocChecker::getCheckIfTracked(CheckerContext &C, SymbolRef Sym,
 2045 void MallocChecker::ReportBadFree(CheckerContext &C, SVal ArgVal,
 2092 void MallocChecker::ReportFreeAlloca(CheckerContext &C, SVal ArgVal,
 2118 void MallocChecker::ReportMismatchedDealloc(CheckerContext &C,
 2174 void MallocChecker::ReportOffsetFree(CheckerContext &C, SVal ArgVal,
 2232 void MallocChecker::ReportUseAfterFree(CheckerContext &C, SourceRange Range,
 2270 void MallocChecker::ReportDoubleFree(CheckerContext &C, SourceRange Range,
 2301 void MallocChecker::ReportDoubleDelete(CheckerContext &C, SymbolRef Sym) const {
 2325 void MallocChecker::ReportUseZeroAllocated(CheckerContext &C,
 2356 void MallocChecker::ReportFunctionPointerFree(CheckerContext &C, SVal ArgVal,
 2392 ProgramStateRef MallocChecker::ReallocMemAux(CheckerContext &C,
 2497 ProgramStateRef MallocChecker::CallocMem(CheckerContext &C, const CallExpr *CE,
 2514                                                          CheckerContext &C) {
 2555                                CheckerContext &C) const {
 2618                                      CheckerContext &C) const
 2679                                  CheckerContext &C) const {
 2723                                  CheckerContext &C) const {
 2731                                      CheckerContext &C) const {
 2736                                         CheckerContext &C) const {
 2767                                   CheckerContext &C) const {
 2801 static bool isReleased(SymbolRef Sym, CheckerContext &C) {
 2808     const CallExpr *CE, CheckerContext &C) const {
 2836 bool MallocChecker::checkUseAfterFree(SymbolRef Sym, CheckerContext &C,
 2847 void MallocChecker::checkUseZeroAllocated(SymbolRef Sym, CheckerContext &C,
 2860 bool MallocChecker::checkDoubleDelete(SymbolRef Sym, CheckerContext &C) const {
 2871                                   CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/MmapWriteExecChecker.cpp
   37   void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
   48                                          CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/MoveChecker.cpp
   51   void checkEndFunction(const ReturnStmt *RS, CheckerContext &C) const;
   52   void checkPreCall(const CallEvent &MC, CheckerContext &C) const;
   53   void checkPostCall(const CallEvent &MC, CheckerContext &C) const;
   54   void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
  212                 CheckerContext &C) const;
  217                           CheckerContext &C, MisuseKind MK) const;
  224                                       CheckerContext &C) const;
  334                                                  CheckerContext &C) const {
  351                            CheckerContext &C) const {
  391                                      const CXXRecordDecl *RD, CheckerContext &C,
  443                                 CheckerContext &C) const {
  602 void MoveChecker::checkPreCall(const CallEvent &Call, CheckerContext &C) const {
  685                                    CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/NSAutoreleasePoolChecker.cpp
   38   void checkPreObjCMessage(const ObjCMethodCall &msg, CheckerContext &C) const;
   44                                                    CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/NSErrorChecker.cpp
  163                      CheckerContext &C) const;
  181 static void setFlag(ProgramStateRef state, SVal val, CheckerContext &C) {
  187 static QualType parameterTypeFromSVal(SVal val, CheckerContext &C) {
  203                                             CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/NoReturnFunctionChecker.cpp
   34   void checkPostCall(const CallEvent &CE, CheckerContext &C) const;
   35   void checkPostObjCMessage(const ObjCMethodCall &msg, CheckerContext &C) const;
   41                                             CheckerContext &C) const {
   88                                                    CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/NonNullParamChecker.cpp
   36   void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
   69                                        CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/NonnullGlobalConstantsChecker.cpp
   44                      CheckerContext &C) const;
   69                                                  CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/NullabilityChecker.cpp
   96   void checkBind(SVal L, SVal V, const Stmt *S, CheckerContext &C) const;
   97   void checkPostStmt(const ExplicitCastExpr *CE, CheckerContext &C) const;
   98   void checkPreStmt(const ReturnStmt *S, CheckerContext &C) const;
   99   void checkPostObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const;
  100   void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
  101   void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
  102   void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
  156                                  CheckerContext &C,
  405                                     CheckerContext &C) {
  435     CheckerContext &C, const Stmt *ValueExpr, bool SuppressPath) const {
  450                                           CheckerContext &C) const {
  523                                       CheckerContext &C) const {
  641                                       CheckerContext &C) const {
  743                                        CheckerContext &C) const {
  817                                               CheckerContext &C) const {
  932                                        CheckerContext &C) const {
 1011 static bool isARCNilInitializedLocal(CheckerContext &C, const Stmt *S) {
 1054                                    CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/ObjCAtSyncChecker.cpp
   32   void checkPreStmt(const ObjCAtSynchronizedStmt *S, CheckerContext &C) const;
   37                                      CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/ObjCContainersChecker.cpp
   40   inline SymbolRef getArraySym(const Expr *E, CheckerContext &C) const {
   47                    CheckerContext &C) const;
   53   void checkPostStmt(const CallExpr *CE, CheckerContext &C) const;
   54   void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
   69                                         CheckerContext &C) const {
   87                                           CheckerContext &C) const {
  110                                          CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/ObjCSelfInitChecker.cpp
   54 static bool isSelfVar(SVal location, CheckerContext &C);
   66   void checkForInvalidSelf(const Expr *E, CheckerContext &C,
   71   void checkPostObjCMessage(const ObjCMethodCall &Msg, CheckerContext &C) const;
   72   void checkPostStmt(const ObjCIvarRefExpr *E, CheckerContext &C) const;
   73   void checkPreStmt(const ReturnStmt *S, CheckerContext &C) const;
   75                      CheckerContext &C) const;
   76   void checkBind(SVal loc, SVal val, const Stmt *S, CheckerContext &C) const;
   78   void checkPreCall(const CallEvent &CE, CheckerContext &C) const;
   79   void checkPostCall(const CallEvent &CE, CheckerContext &C) const;
  113 static SelfFlagEnum getSelfFlags(SVal val, CheckerContext &C) {
  118                         SelfFlagEnum flag, CheckerContext &C) {
  126 static bool hasSelfFlag(SVal val, SelfFlagEnum flag, CheckerContext &C) {
  133 static bool isInvalidSelf(const Expr *E, CheckerContext &C) {
  143 void ObjCSelfInitChecker::checkForInvalidSelf(const Expr *E, CheckerContext &C,
  166                                                CheckerContext &C) const {
  197                                         CheckerContext &C) const {
  210                                        CheckerContext &C) const {
  238                                        CheckerContext &C) const {
  266                                         CheckerContext &C) const {
  302                                         CheckerContext &C) const {
  317                                     CheckerContext &C) const {
  410 static bool isSelfVar(SVal location, CheckerContext &C) {
tools/clang/lib/StaticAnalyzer/Checkers/ObjCSuperDeallocChecker.cpp
   41   void checkPostObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const;
   42   void checkPreObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const;
   44   void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
   47                      CheckerContext &C) const;
   51   void diagnoseCallArguments(const CallEvent &CE, CheckerContext &C) const;
   54                              CheckerContext &C) const;
   83                                                   CheckerContext &C) const {
  108                                            CheckerContext &C) const {
  113                                                    CheckerContext &C) const {
  130                                   CheckerContext &C) const {
  177                                                     CheckerContext &C) const {
  200                                                     CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/PointerArithChecker.cpp
   51                                   AllocKind &AKind, CheckerContext &C) const;
   53                                     CheckerContext &C) const;
   54   void reportPointerArithMisuse(const Expr *E, CheckerContext &C,
   63   void checkPreStmt(const UnaryOperator *UOp, CheckerContext &C) const;
   64   void checkPreStmt(const BinaryOperator *BOp, CheckerContext &C) const;
   65   void checkPreStmt(const ArraySubscriptExpr *SubExpr, CheckerContext &C) const;
   66   void checkPreStmt(const CastExpr *CE, CheckerContext &C) const;
   67   void checkPostStmt(const CastExpr *CE, CheckerContext &C) const;
   68   void checkPostStmt(const CXXNewExpr *NE, CheckerContext &C) const;
   69   void checkPostStmt(const CallExpr *CE, CheckerContext &C) const;
   70   void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
   77                                            CheckerContext &C) const {
  106                                       CheckerContext &C) const {
  120                                                      CheckerContext &C) const {
  149                                                    CheckerContext &C,
  218                                         CheckerContext &C) const {
  241                                         CheckerContext &C) const {
  258                                         CheckerContext &C) const {
  276                                        CheckerContext &C) const {
  297                                        CheckerContext &C) const {
  304                                        CheckerContext &C) const {
  318                                        CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/PointerSubChecker.cpp
   30   void checkPreStmt(const BinaryOperator *B, CheckerContext &C) const;
   35                                      CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/PthreadLockChecker.cpp
   81   void checkPostStmt(const CallExpr *CE, CheckerContext &C) const;
   82   void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
   86   void AcquireLock(CheckerContext &C, const CallExpr *CE, SVal lock,
   89   void ReleaseLock(CheckerContext &C, const CallExpr *CE, SVal lock) const;
   90   void DestroyLock(CheckerContext &C, const CallExpr *CE, SVal Lock,
   92   void InitLock(CheckerContext &C, const CallExpr *CE, SVal Lock) const;
   93   void reportUseDestroyedBug(CheckerContext &C, const CallExpr *CE) const;
  110                                        CheckerContext &C) const {
  216 void PthreadLockChecker::AcquireLock(CheckerContext &C, const CallExpr *CE,
  288 void PthreadLockChecker::ReleaseLock(CheckerContext &C, const CallExpr *CE,
  346 void PthreadLockChecker::DestroyLock(CheckerContext &C, const CallExpr *CE,
  408 void PthreadLockChecker::InitLock(CheckerContext &C, const CallExpr *CE,
  448 void PthreadLockChecker::reportUseDestroyedBug(CheckerContext &C,
  463                                           CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.cpp
  147                                        CheckerContext &C) const {
  183                                        CheckerContext &C) const {
  229 void RetainCountChecker::processObjCLiterals(CheckerContext &C,
  260                                        CheckerContext &C) const {
  266                                        CheckerContext &C) const {
  272                                        CheckerContext &C) const {
  286                                        CheckerContext &C) const {
  364                                        CheckerContext &C) const {
  450                                                  CheckerContext &C) const {
  607                                       CheckerContext &C) const {
  715                                                  CheckerContext &C) const {
  863                                              CheckerContext &C) const {
  890                                   CheckerContext &C) const {
  964                                                  CheckerContext &C) const {
 1067                                                   CheckerContext &C,
 1138                                    CheckerContext &C) const {
 1210                                             CheckerContext &Ctx,
 1315                                  CheckerContext &Ctx,
 1331 void RetainCountChecker::checkBeginFunction(CheckerContext &Ctx) const {
 1368                                           CheckerContext &Ctx) const {
 1410                                           CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.h
  287   RetainSummaryManager &getSummaryManager(CheckerContext &C) const {
  294   void checkBind(SVal loc, SVal val, const Stmt *S, CheckerContext &C) const;
  295   void checkPostStmt(const BlockExpr *BE, CheckerContext &C) const;
  296   void checkPostStmt(const CastExpr *CE, CheckerContext &C) const;
  298   void checkPostStmt(const ObjCArrayLiteral *AL, CheckerContext &C) const;
  299   void checkPostStmt(const ObjCDictionaryLiteral *DL, CheckerContext &C) const;
  300   void checkPostStmt(const ObjCBoxedExpr *BE, CheckerContext &C) const;
  302   void checkPostStmt(const ObjCIvarRefExpr *IRE, CheckerContext &C) const;
  304   void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
  307                     CheckerContext &C) const;
  311                                CheckerContext &C) const;
  313   bool evalCall(const CallEvent &Call, CheckerContext &C) const;
  326   ExplodedNode* checkReturnWithRetEffect(const ReturnStmt *S, CheckerContext &C,
  330   void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
  331   void checkBeginFunction(CheckerContext &C) const;
  332   void checkEndFunction(const ReturnStmt *RS, CheckerContext &C) const;
  336                                CheckerContext &C) const;
  343                            CheckerContext &C) const;
  345   void processObjCLiterals(CheckerContext &C, const Expr *Ex) const;
  353                           const ProgramPointTag *Tag, CheckerContext &Ctx,
  360                              CheckerContext &Ctx,
  375   ExplodedNode * processReturn(const ReturnStmt *S, CheckerContext &C) const;
tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountDiagnostics.cpp
  827 void RefLeakReport::deriveParamLocation(CheckerContext &Ctx, SymbolRef sym) {
  846 void RefLeakReport::deriveAllocLocation(CheckerContext &Ctx,
  889 void RefLeakReport::createDescription(CheckerContext &Ctx) {
  907                              CheckerContext &Ctx)
tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountDiagnostics.h
   84   void deriveParamLocation(CheckerContext &Ctx, SymbolRef sym);
   86   void deriveAllocLocation(CheckerContext &Ctx, SymbolRef sym);
   88   void createDescription(CheckerContext &Ctx);
   92                 SymbolRef sym, CheckerContext &Ctx);
tools/clang/lib/StaticAnalyzer/Checkers/ReturnPointerRangeChecker.cpp
   30     void checkPreStmt(const ReturnStmt *RS, CheckerContext &C) const;
   35                                              CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/ReturnUndefChecker.cpp
   30   void emitUndef(CheckerContext &C, const Expr *RetE) const;
   31   void checkReference(CheckerContext &C, const Expr *RetE,
   34   void checkPreStmt(const ReturnStmt *RS, CheckerContext &C) const;
   39                                       CheckerContext &C) const {
   80 static void emitBug(CheckerContext &C, BuiltinBug &BT, const Expr *RetE,
   95 void ReturnUndefChecker::emitUndef(CheckerContext &C, const Expr *RetE) const {
  103 void ReturnUndefChecker::checkReference(CheckerContext &C, const Expr *RetE,
tools/clang/lib/StaticAnalyzer/Checkers/ReturnValueChecker.cpp
   29   void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
   32   void checkEndFunction(const ReturnStmt *RS, CheckerContext &C) const;
   73                                        CheckerContext &C) {
   85                                        CheckerContext &C) const {
  118                                           CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/SimpleStreamChecker.cpp
   61                          CheckerContext &C) const;
   63   void reportLeaks(ArrayRef<SymbolRef> LeakedStreams, CheckerContext &C,
   72   void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
   74   void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
   76   void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
  118                                         CheckerContext &C) const {
  137                                        CheckerContext &C) const {
  175                                            CheckerContext &C) const {
  201                                             CheckerContext &C) const {
  217                                       CheckerContext &C,
tools/clang/lib/StaticAnalyzer/Checkers/SmartPtrModeling.cpp
   32   bool evalCall(const CallEvent &Call, CheckerContext &C) const;
   46                                 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/StackAddrEscapeChecker.cpp
   47   void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
   48   void checkPreStmt(const ReturnStmt *RS, CheckerContext &C) const;
   49   void checkEndFunction(const ReturnStmt *RS, CheckerContext &Ctx) const;
   53                                   CheckerContext &C) const;
   55                                        CheckerContext &C) const;
   56   void EmitStackError(CheckerContext &C, const MemRegion *R,
   63   static bool isArcManagedBlock(const MemRegion *R, CheckerContext &C);
   64   static bool isNotInCurrentFrame(const MemRegion *R, CheckerContext &C);
  113                                                CheckerContext &C) {
  120                                                  CheckerContext &C) {
  151 void StackAddrEscapeChecker::EmitStackError(CheckerContext &C,
  174     const BlockDataRegion &B, CheckerContext &C) const {
  212     const BlockDataRegion &B, CheckerContext &C) const {
  235                                           CheckerContext &C) const {
  249                                           CheckerContext &C) const {
  291                                               CheckerContext &Ctx) const {
  301     CheckerContext &Ctx;
  307     CallBack(CheckerContext &CC) : Ctx(CC), CurSFC(CC.getStackFrame()) {}
tools/clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp
  226   void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
  227   bool evalCall(const CallEvent &Call, CheckerContext &C) const;
  232                                           CheckerContext &C) const;
  340                                                CheckerContext &C) const {
  371                                           CheckerContext &C) const {
  434                                                 CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp
   75   bool evalCall(const CallEvent &Call, CheckerContext &C) const;
   76   void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
   79   void Fopen(CheckerContext &C, const CallExpr *CE) const;
   80   void Tmpfile(CheckerContext &C, const CallExpr *CE) const;
   81   void Fclose(CheckerContext &C, const CallExpr *CE) const;
   82   void Fread(CheckerContext &C, const CallExpr *CE) const;
   83   void Fwrite(CheckerContext &C, const CallExpr *CE) const;
   84   void Fseek(CheckerContext &C, const CallExpr *CE) const;
   85   void Ftell(CheckerContext &C, const CallExpr *CE) const;
   86   void Rewind(CheckerContext &C, const CallExpr *CE) const;
   87   void Fgetpos(CheckerContext &C, const CallExpr *CE) const;
   88   void Fsetpos(CheckerContext &C, const CallExpr *CE) const;
   89   void Clearerr(CheckerContext &C, const CallExpr *CE) const;
   90   void Feof(CheckerContext &C, const CallExpr *CE) const;
   91   void Ferror(CheckerContext &C, const CallExpr *CE) const;
   92   void Fileno(CheckerContext &C, const CallExpr *CE) const;
   94   void OpenFileAux(CheckerContext &C, const CallExpr *CE) const;
   97                                  CheckerContext &C) const;
   99                                  CheckerContext &C) const;
  107 bool StreamChecker::evalCall(const CallEvent &Call, CheckerContext &C) const {
  206 void StreamChecker::Fopen(CheckerContext &C, const CallExpr *CE) const {
  210 void StreamChecker::Tmpfile(CheckerContext &C, const CallExpr *CE) const {
  214 void StreamChecker::OpenFileAux(CheckerContext &C, const CallExpr *CE) const {
  241 void StreamChecker::Fclose(CheckerContext &C, const CallExpr *CE) const {
  247 void StreamChecker::Fread(CheckerContext &C, const CallExpr *CE) const {
  253 void StreamChecker::Fwrite(CheckerContext &C, const CallExpr *CE) const {
  259 void StreamChecker::Fseek(CheckerContext &C, const CallExpr *CE) const {
  285 void StreamChecker::Ftell(CheckerContext &C, const CallExpr *CE) const {
  291 void StreamChecker::Rewind(CheckerContext &C, const CallExpr *CE) const {
  297 void StreamChecker::Fgetpos(CheckerContext &C, const CallExpr *CE) const {
  303 void StreamChecker::Fsetpos(CheckerContext &C, const CallExpr *CE) const {
  309 void StreamChecker::Clearerr(CheckerContext &C, const CallExpr *CE) const {
  315 void StreamChecker::Feof(CheckerContext &C, const CallExpr *CE) const {
  321 void StreamChecker::Ferror(CheckerContext &C, const CallExpr *CE) const {
  327 void StreamChecker::Fileno(CheckerContext &C, const CallExpr *CE) const {
  334                                     CheckerContext &C) const {
  358                                                CheckerContext &C) const {
  389                                      CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/TaintTesterChecker.cpp
   32   SymbolRef getPointedToSymbol(CheckerContext &C,
   37   void checkPostStmt(const Expr *E, CheckerContext &C) const;
   47                                        CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/TestAfterDivZeroChecker.cpp
   81   void reportBug(SVal Val, CheckerContext &C) const;
   84   void checkPreStmt(const BinaryOperator *B, CheckerContext &C) const;
   85   void checkBranchCondition(const Stmt *Condition, CheckerContext &C) const;
   86   void checkEndFunction(const ReturnStmt *RS, CheckerContext &C) const;
   87   void setDivZeroMap(SVal Var, CheckerContext &C) const;
   88   bool hasDivZeroMap(SVal Var, const CheckerContext &C) const;
   89   bool isZero(SVal S, CheckerContext &C) const;
  134 bool TestAfterDivZeroChecker::isZero(SVal S, CheckerContext &C) const {
  144 void TestAfterDivZeroChecker::setDivZeroMap(SVal Var, CheckerContext &C) const {
  156                                             const CheckerContext &C) const {
  165 void TestAfterDivZeroChecker::reportBug(SVal Val, CheckerContext &C) const {
  182                                                CheckerContext &C) const {
  201                                            CheckerContext &C) const {
  213                                                    CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/TraversalChecker.cpp
   30   void checkBranchCondition(const Stmt *Condition, CheckerContext &C) const;
   31   void checkBeginFunction(CheckerContext &C) const;
   32   void checkEndFunction(const ReturnStmt *RS, CheckerContext &C) const;
   37                                            CheckerContext &C) const {
   54 void TraversalDumper::checkBeginFunction(CheckerContext &C) const {
   59                                        CheckerContext &C) const {
   77   void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
   78   void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
   82 void CallDumper::checkPreCall(const CallEvent &Call, CheckerContext &C) const {
   95 void CallDumper::checkPostCall(const CallEvent &Call, CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/TrustNonnullChecker.cpp
   81   void checkPostCall(const CallEvent &Call, CheckerContext &C) const {
   96                             CheckerContext &C) const {
  133   void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const {
  157   bool isNonNullPtr(const CallEvent &Call, CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/UndefBranchChecker.cpp
   54   void checkBranchCondition(const Stmt *Condition, CheckerContext &Ctx) const;
   60                                               CheckerContext &Ctx) const {
tools/clang/lib/StaticAnalyzer/Checkers/UndefCapturedBlockVarChecker.cpp
   32   void checkPostStmt(const BlockExpr *BE, CheckerContext &C) const;
   52                                             CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/UndefResultChecker.cpp
   33   void checkPostStmt(const BinaryOperator *B, CheckerContext &C) const;
   37 static bool isArrayIndexOutOfBounds(CheckerContext &C, const Expr *Ex) {
   60 static bool isShiftOverflow(const BinaryOperator *B, CheckerContext &C) {
   66                                              CheckerContext &C) {
   76                                        CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/UndefinedArraySubscriptChecker.cpp
   30   void checkPreStmt(const ArraySubscriptExpr *A, CheckerContext &C) const;
   36                                              CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/UndefinedAssignmentChecker.cpp
   30                  CheckerContext &C) const;
   36                                            CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/UninitializedObjectChecker.cpp
   50   void checkEndFunction(const ReturnStmt *RS, CheckerContext &C) const;
   51   void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
  112                      CheckerContext &Context);
  118                                       CheckerContext &Context);
  139     const ReturnStmt *RS, CheckerContext &Context) const {
  217                                                   CheckerContext &C) const {
  459                      CheckerContext &Context) {
  474                                       CheckerContext &Context) {
tools/clang/lib/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;
   53   void CheckOpenVariant(CheckerContext &C,
   56   void ReportOpenBug(CheckerContext &C,
   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;
   78   bool ReportZeroByteAllocation(CheckerContext &C,
   82   void BasicAllocationCheck(CheckerContext &C,
  104                                         CheckerContext &C) const {
  128 void UnixAPIMisuseChecker::ReportOpenBug(CheckerContext &C,
  143 void UnixAPIMisuseChecker::CheckOpen(CheckerContext &C,
  148 void UnixAPIMisuseChecker::CheckOpenAt(CheckerContext &C,
  153 void UnixAPIMisuseChecker::CheckOpenVariant(CheckerContext &C,
  273 void UnixAPIMisuseChecker::CheckPthreadOnce(CheckerContext &C,
  337                                                     CheckerContext &C,
  363 void UnixAPIPortabilityChecker::BasicAllocationCheck(CheckerContext &C,
  392 void UnixAPIPortabilityChecker::CheckCallocZero(CheckerContext &C,
  428 void UnixAPIPortabilityChecker::CheckMallocZero(CheckerContext &C,
  433 void UnixAPIPortabilityChecker::CheckReallocZero(CheckerContext &C,
  438 void UnixAPIPortabilityChecker::CheckReallocfZero(CheckerContext &C,
  443 void UnixAPIPortabilityChecker::CheckAllocaZero(CheckerContext &C,
  449                                                      CheckerContext &C,
  454 void UnixAPIPortabilityChecker::CheckVallocZero(CheckerContext &C,
  460                                              CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/VLASizeChecker.cpp
   37                  CheckerContext &C,
   41   void checkPreStmt(const DeclStmt *DS, CheckerContext &C) const;
   47     CheckerContext &C, std::unique_ptr<BugReporterVisitor> Visitor) const {
   82 void VLASizeChecker::checkPreStmt(const DeclStmt *DS, CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/ValistChecker.cpp
   51   void checkPreStmt(const VAArgExpr *VAA, CheckerContext &C) const;
   52   void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
   53   void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
   57                                      bool &IsSymbolic, CheckerContext &C) const;
   62                                  CheckerContext &C) const;
   64                            StringRef Msg2, CheckerContext &C, ExplodedNode *N,
   67   void checkVAListStartCall(const CallEvent &Call, CheckerContext &C,
   69   void checkVAListEndCall(const CallEvent &Call, CheckerContext &C) const;
  126                                  CheckerContext &C) const {
  165                                                   CheckerContext &C) const {
  187                                  CheckerContext &C) const {
  204                                      CheckerContext &C) const {
  250                                               CheckerContext &C) const {
  267                                         CheckerContext &C, ExplodedNode *N,
  309                                          CheckerContext &C, bool IsCopy) const {
  356                                        CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/VforkChecker.cpp
   52   bool isVforkCall(const Decl *D, CheckerContext &C) const;
   53   bool isCallWhitelisted(const IdentifierInfo *II, CheckerContext &C) const;
   55   void reportBug(const char *What, CheckerContext &C,
   61   void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
   62   void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
   63   void checkBind(SVal L, SVal V, const Stmt *S, CheckerContext &C) const;
   64   void checkPreStmt(const ReturnStmt *RS, CheckerContext &C) const;
   82 bool VforkChecker::isVforkCall(const Decl *D, CheckerContext &C) const {
   97                                  CheckerContext &C) const {
  120 void VforkChecker::reportBug(const char *What, CheckerContext &C,
  143                                  CheckerContext &C) const {
  183                                 CheckerContext &C) const {
  192                              CheckerContext &C) const {
  209 void VforkChecker::checkPreStmt(const ReturnStmt *RS, CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Checkers/VirtualCallChecker.cpp
   48   void checkBeginFunction(CheckerContext &C) const;
   49   void checkEndFunction(const ReturnStmt *RS, CheckerContext &C) const;
   50   void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
   54                                    CheckerContext &C) const;
   87 void VirtualCallChecker::checkBeginFunction(CheckerContext &C) const {
   93                                           CheckerContext &C) const {
   98                                       CheckerContext &C) const {
  165                                                      CheckerContext &C) const {
tools/clang/lib/StaticAnalyzer/Core/CallEvent.cpp
  166   return CheckerContext::isCLibraryFunction(FD, FunctionName);
  370     return CheckerContext::isCLibraryFunction(FD, CD.getFunctionName()) &&
tools/clang/lib/StaticAnalyzer/Core/CheckerManager.cpp
  176       CheckerContext C(Bldr, Eng, Pred, L, WasInlined);
  231       CheckerContext C(Bldr, Eng, Pred, L, WasInlined);
  289       CheckerContext C(Bldr, Eng, Pred, L, WasInlined);
  341       CheckerContext C(Bldr, Eng, Pred, L);
  384       CheckerContext C(Bldr, Eng, Pred, L);
  428     CheckerContext C(Bldr, Eng, Pred, L);
  461     CheckerContext C(Bldr, Eng, Pred, L);
  486       CheckerContext C(Bldr, Eng, Pred, L);
  526       CheckerContext C(Bldr, Eng, Pred, L, WasInlined);
  572       CheckerContext C(Bldr, Eng, Pred, L);
  673         CheckerContext C(B, Eng, Pred, L);
usr/include/c++/7.4.0/bits/move.h
   72     constexpr _Tp&&
   83     constexpr _Tp&&
usr/include/c++/7.4.0/bits/std_function.h
  371       _M_invoke(const _Any_data& __functor, _ArgTypes&&... __args)
  628       using _Invoker_type = _Res (*)(const _Any_data&, _ArgTypes&&...);
usr/include/c++/7.4.0/bits/unique_ptr.h
  824     make_unique(_Args&&... __args)
usr/include/c++/7.4.0/type_traits
 1633     { typedef _Tp   type; };
 1659     { typedef _Tp&&   type; };