/external/clang/lib/StaticAnalyzer/Checkers/ |
D | ExprInspectionChecker.cpp | 24 void analyzerEval(const CallExpr *CE, CheckerContext &C) const; 25 void analyzerCheckInlined(const CallExpr *CE, CheckerContext &C) const; 26 void analyzerWarnIfReached(const CallExpr *CE, CheckerContext &C) const; 27 void analyzerCrash(const CallExpr *CE, CheckerContext &C) const; 28 void analyzerWarnOnDeadSymbol(const CallExpr *CE, CheckerContext &C) const; 29 void analyzerExplain(const CallExpr *CE, CheckerContext &C) const; 30 void analyzerGetExtent(const CallExpr *CE, CheckerContext &C) const; 33 CheckerContext &C) const; 35 void reportBug(llvm::StringRef Msg, CheckerContext &C) const; 38 bool evalCall(const CallExpr *CE, CheckerContext &C) const; [all …]
|
D | StreamChecker.cpp | 76 bool evalCall(const CallExpr *CE, CheckerContext &C) const; 77 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const; 80 void Fopen(CheckerContext &C, const CallExpr *CE) const; 81 void Tmpfile(CheckerContext &C, const CallExpr *CE) const; 82 void Fclose(CheckerContext &C, const CallExpr *CE) const; 83 void Fread(CheckerContext &C, const CallExpr *CE) const; 84 void Fwrite(CheckerContext &C, const CallExpr *CE) const; 85 void Fseek(CheckerContext &C, const CallExpr *CE) const; 86 void Ftell(CheckerContext &C, const CallExpr *CE) const; 87 void Rewind(CheckerContext &C, const CallExpr *CE) const; [all …]
|
D | CheckerDocumentation.cpp | 71 void checkPreStmt(const ReturnStmt *DS, CheckerContext &C) const {} in checkPreStmt() 81 void checkPostStmt(const DeclStmt *DS, CheckerContext &C) const; 90 void checkPreObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const {} in checkPreObjCMessage() 96 void checkPostObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const {} in checkPostObjCMessage() 105 void checkObjCMessageNil(const ObjCMethodCall &M, CheckerContext &C) const {} in checkObjCMessageNil() 117 void checkPreCall(const CallEvent &Call, CheckerContext &C) const {} in checkPreCall() 123 void checkPostCall(const CallEvent &Call, CheckerContext &C) const {} in checkPostCall() 126 void checkBranchCondition(const Stmt *Condition, CheckerContext &Ctx) const {} in checkBranchCondition() 138 CheckerContext &) const {} in checkLocation() 147 void checkBind(SVal Loc, SVal Val, const Stmt *S, CheckerContext &) const {} in checkBind() [all …]
|
D | UnixAPIChecker.cpp | 37 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const; 39 void CheckOpen(CheckerContext &C, const CallExpr *CE) const; 40 void CheckPthreadOnce(CheckerContext &C, const CallExpr *CE) const; 41 void CheckCallocZero(CheckerContext &C, const CallExpr *CE) const; 42 void CheckMallocZero(CheckerContext &C, const CallExpr *CE) const; 43 void CheckReallocZero(CheckerContext &C, const CallExpr *CE) const; 44 void CheckReallocfZero(CheckerContext &C, const CallExpr *CE) const; 45 void CheckAllocaZero(CheckerContext &C, const CallExpr *CE) const; 46 void CheckVallocZero(CheckerContext &C, const CallExpr *CE) const; 48 typedef void (UnixAPIChecker::*SubChecker)(CheckerContext &, [all …]
|
D | GenericTaintChecker.cpp | 36 void checkPostStmt(const CallExpr *CE, CheckerContext &C) const; 38 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const; 53 bool checkPre(const CallExpr *CE, CheckerContext &C) const; 56 void addSourcesPre(const CallExpr *CE, CheckerContext &C) const; 59 bool propagateFromPre(const CallExpr *CE, CheckerContext &C) const; 62 void addSourcesPost(const CallExpr *CE, CheckerContext &C) const; 66 static bool isStdin(const Expr *E, CheckerContext &C); 70 static SymbolRef getPointedToSymbol(CheckerContext &C, const Expr *Arg); 74 CheckerContext &C) const; 75 ProgramStateRef postScanf(const CallExpr *CE, CheckerContext &C) const; [all …]
|
D | ObjCSelfInitChecker.cpp | 55 static bool isSelfVar(SVal location, CheckerContext &C); 67 void checkForInvalidSelf(const Expr *E, CheckerContext &C, 72 void checkPostObjCMessage(const ObjCMethodCall &Msg, CheckerContext &C) const; 73 void checkPostStmt(const ObjCIvarRefExpr *E, CheckerContext &C) const; 74 void checkPreStmt(const ReturnStmt *S, CheckerContext &C) const; 76 CheckerContext &C) const; 77 void checkBind(SVal loc, SVal val, const Stmt *S, CheckerContext &C) const; 79 void checkPreCall(const CallEvent &CE, CheckerContext &C) const; 80 void checkPostCall(const CallEvent &CE, CheckerContext &C) const; 114 static SelfFlagEnum getSelfFlags(SVal val, CheckerContext &C) { in getSelfFlags() [all …]
|
D | VforkChecker.cpp | 53 bool isVforkCall(const Decl *D, CheckerContext &C) const; 54 bool isCallWhitelisted(const IdentifierInfo *II, CheckerContext &C) const; 56 void reportBug(const char *What, CheckerContext &C, 62 void checkPreCall(const CallEvent &Call, CheckerContext &C) const; 63 void checkPostCall(const CallEvent &Call, CheckerContext &C) const; 64 void checkBind(SVal L, SVal V, const Stmt *S, CheckerContext &C) const; 65 void checkPreStmt(const ReturnStmt *RS, CheckerContext &C) const; 83 bool VforkChecker::isVforkCall(const Decl *D, CheckerContext &C) const { in isVforkCall() 98 CheckerContext &C) const { in isCallWhitelisted() 121 void VforkChecker::reportBug(const char *What, CheckerContext &C, in reportBug() [all …]
|
D | PointerArithChecker.cpp | 53 AllocKind &AKind, CheckerContext &C) const; 55 CheckerContext &C) const; 56 void reportPointerArithMisuse(const Expr *E, CheckerContext &C, 65 void checkPreStmt(const UnaryOperator *UOp, CheckerContext &C) const; 66 void checkPreStmt(const BinaryOperator *BOp, CheckerContext &C) const; 67 void checkPreStmt(const ArraySubscriptExpr *SubExpr, CheckerContext &C) const; 68 void checkPreStmt(const CastExpr *CE, CheckerContext &C) const; 69 void checkPostStmt(const CastExpr *CE, CheckerContext &C) const; 70 void checkPostStmt(const CXXNewExpr *NE, CheckerContext &C) const; 71 void checkPostStmt(const CallExpr *CE, CheckerContext &C) const; [all …]
|
D | TraversalChecker.cpp | 31 void checkBranchCondition(const Stmt *Condition, CheckerContext &C) const; 32 void checkBeginFunction(CheckerContext &C) const; 33 void checkEndFunction(CheckerContext &C) const; 38 CheckerContext &C) const { in checkBranchCondition() 55 void TraversalDumper::checkBeginFunction(CheckerContext &C) const { in checkBeginFunction() 59 void TraversalDumper::checkEndFunction(CheckerContext &C) const { in checkEndFunction() 73 void checkPreCall(const CallEvent &Call, CheckerContext &C) const; 74 void checkPostCall(const CallEvent &Call, CheckerContext &C) const; 78 void CallDumper::checkPreCall(const CallEvent &Call, CheckerContext &C) const { in checkPreCall() 91 void CallDumper::checkPostCall(const CallEvent &Call, CheckerContext &C) const { in checkPostCall()
|
D | CStringChecker.cpp | 62 bool evalCall(const CallExpr *CE, CheckerContext &C) const; 63 void checkPreStmt(const DeclStmt *DS, CheckerContext &C) const; 65 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const; 75 typedef void (CStringChecker::*FnCheck)(CheckerContext &, 78 void evalMemcpy(CheckerContext &C, const CallExpr *CE) const; 79 void evalMempcpy(CheckerContext &C, const CallExpr *CE) const; 80 void evalMemmove(CheckerContext &C, const CallExpr *CE) const; 81 void evalBcopy(CheckerContext &C, const CallExpr *CE) const; 82 void evalCopyCommon(CheckerContext &C, const CallExpr *CE, 90 void evalMemcmp(CheckerContext &C, const CallExpr *CE) const; [all …]
|
D | 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(CheckerContext &Ctx) const; 131 void diagnoseMissingReleases(CheckerContext &C) const; 134 CheckerContext &C) const; 138 CheckerContext &C) const; 141 CheckerContext &C) const; [all …]
|
D | TestAfterDivZeroChecker.cpp | 83 void reportBug(SVal Val, CheckerContext &C) const; 86 void checkPreStmt(const BinaryOperator *B, CheckerContext &C) const; 87 void checkBranchCondition(const Stmt *Condition, CheckerContext &C) const; 88 void checkEndFunction(CheckerContext &C) const; 89 void setDivZeroMap(SVal Var, CheckerContext &C) const; 90 bool hasDivZeroMap(SVal Var, const CheckerContext &C) const; 91 bool isZero(SVal S, CheckerContext &C) const; 138 bool TestAfterDivZeroChecker::isZero(SVal S, CheckerContext &C) const { in isZero() 148 void TestAfterDivZeroChecker::setDivZeroMap(SVal Var, CheckerContext &C) const { in setDivZeroMap() 160 const CheckerContext &C) const { in hasDivZeroMap() [all …]
|
D | 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 { in warnIfNilExpr() 149 void NilArgChecker::warnIfNilArg(CheckerContext &C, in warnIfNilArg() 205 CheckerContext &C) const { in generateBugReport() 216 CheckerContext &C) const { in checkPreObjCMessage() [all …]
|
D | ObjCSuperDeallocChecker.cpp | 42 void checkPostObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const; 43 void checkPreObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const; 45 void checkPreCall(const CallEvent &Call, CheckerContext &C) const; 48 CheckerContext &C) const; 52 void diagnoseCallArguments(const CallEvent &CE, CheckerContext &C) const; 55 CheckerContext &C) const; 88 CheckerContext &C) const { in checkPreObjCMessage() 115 CheckerContext &C) const { in checkPreCall() 120 CheckerContext &C) const { in checkPostObjCMessage() 137 CheckerContext &C) const { in checkLocation() [all …]
|
D | ChrootChecker.cpp | 55 bool evalCall(const CallExpr *CE, CheckerContext &C) const; 56 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const; 59 void Chroot(CheckerContext &C, const CallExpr *CE) const; 60 void Chdir(CheckerContext &C, const CallExpr *CE) const; 65 bool ChrootChecker::evalCall(const CallExpr *CE, CheckerContext &C) const { in evalCall() 88 void ChrootChecker::Chroot(CheckerContext &C, const CallExpr *CE) const { in Chroot() 98 void ChrootChecker::Chdir(CheckerContext &C, const CallExpr *CE) const { in Chdir() 125 void ChrootChecker::checkPreStmt(const CallExpr *CE, CheckerContext &C) const { in checkPreStmt()
|
D | ReturnUndefChecker.cpp | 31 void emitUndef(CheckerContext &C, const Expr *RetE) const; 32 void checkReference(CheckerContext &C, const Expr *RetE, 35 void checkPreStmt(const ReturnStmt *RS, CheckerContext &C) const; 40 CheckerContext &C) const { in checkPreStmt() 81 static void emitBug(CheckerContext &C, BuiltinBug &BT, const Expr *RetE, in emitBug() 95 void ReturnUndefChecker::emitUndef(CheckerContext &C, const Expr *RetE) const { in emitUndef() 103 void ReturnUndefChecker::checkReference(CheckerContext &C, const Expr *RetE, in checkReference()
|
D | CallAndMessageChecker.cpp | 61 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const; 62 void checkPreStmt(const CXXDeleteExpr *DE, CheckerContext &C) const; 63 void checkPreObjCMessage(const ObjCMethodCall &msg, CheckerContext &C) const; 68 void checkObjCMessageNil(const ObjCMethodCall &msg, CheckerContext &C) const; 70 void checkPreCall(const CallEvent &Call, CheckerContext &C) const; 73 bool PreVisitProcessArg(CheckerContext &C, SVal V, SourceRange ArgRange, 79 static void emitBadCall(BugType *BT, CheckerContext &C, const Expr *BadE); 80 void emitNilReceiverBug(CheckerContext &C, const ObjCMethodCall &msg, 83 void HandleNilReceiver(CheckerContext &C, 91 bool uninitRefOrPointer(CheckerContext &C, const SVal &V, [all …]
|
D | SimpleStreamChecker.cpp | 62 CheckerContext &C) const; 64 void reportLeaks(ArrayRef<SymbolRef> LeakedStreams, CheckerContext &C, 73 void checkPostCall(const CallEvent &Call, CheckerContext &C) const; 75 void checkPreCall(const CallEvent &Call, CheckerContext &C) const; 77 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const; 119 CheckerContext &C) const { in checkPostCall() 138 CheckerContext &C) const { in checkPreCall() 176 CheckerContext &C) const { in checkDeadSymbols() 202 CheckerContext &C) const { in reportDoubleClose() 218 CheckerContext &C, in reportLeaks()
|
D | MallocChecker.cpp | 201 void checkPreCall(const CallEvent &Call, CheckerContext &C) const; 202 void checkPostStmt(const CallExpr *CE, CheckerContext &C) const; 203 void checkPostStmt(const CXXNewExpr *NE, CheckerContext &C) const; 204 void checkPreStmt(const CXXDeleteExpr *DE, CheckerContext &C) const; 205 void checkPostObjCMessage(const ObjCMethodCall &Call, CheckerContext &C) const; 206 void checkPostStmt(const BlockExpr *BE, CheckerContext &C) const; 207 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const; 208 void checkPreStmt(const ReturnStmt *S, CheckerContext &C) const; 212 CheckerContext &C) const; 246 AllocationFamily getAllocationFamily(CheckerContext &C, const Stmt *S) const; [all …]
|
D | PthreadLockChecker.cpp | 64 void checkPostStmt(const CallExpr *CE, CheckerContext &C) const; 66 void AcquireLock(CheckerContext &C, const CallExpr *CE, SVal lock, 69 void ReleaseLock(CheckerContext &C, const CallExpr *CE, SVal lock) const; 70 void DestroyLock(CheckerContext &C, const CallExpr *CE, SVal Lock) const; 71 void InitLock(CheckerContext &C, const CallExpr *CE, SVal Lock) const; 72 void reportUseDestroyedBug(CheckerContext &C, const CallExpr *CE) const; 82 CheckerContext &C) const { in REGISTER_LIST_WITH_PROGRAMSTATE() 124 void PthreadLockChecker::AcquireLock(CheckerContext &C, const CallExpr *CE, in AcquireLock() 193 void PthreadLockChecker::ReleaseLock(CheckerContext &C, const CallExpr *CE, in ReleaseLock() 248 void PthreadLockChecker::DestroyLock(CheckerContext &C, const CallExpr *CE, in DestroyLock() [all …]
|
D | ObjCContainersChecker.cpp | 41 inline SymbolRef getArraySym(const Expr *E, CheckerContext &C) const { in getArraySym() 48 CheckerContext &C) const; 54 void checkPostStmt(const CallExpr *CE, CheckerContext &C) const; 55 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const; 67 CheckerContext &C) const { in REGISTER_MAP_WITH_PROGRAMSTATE() 85 CheckerContext &C) const { in checkPostStmt() 108 CheckerContext &C) const { in checkPreStmt()
|
D | DynamicTypePropagation.cpp | 59 CheckerContext &C) const; 63 CheckerContext &C) const; 67 CheckerContext &C) const; 98 SymbolRef Sym, CheckerContext &C, 102 void checkPreCall(const CallEvent &Call, CheckerContext &C) const; 103 void checkPostCall(const CallEvent &Call, CheckerContext &C) const; 104 void checkPostStmt(const CastExpr *CastE, CheckerContext &C) const; 105 void checkPostStmt(const CXXNewExpr *NewE, CheckerContext &C) const; 106 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const; 107 void checkPreObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const; [all …]
|
D | MacOSXAPIChecker.cpp | 37 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const; 39 void CheckDispatchOnce(CheckerContext &C, const CallExpr *CE, 42 typedef void (MacOSXAPIChecker::*SubChecker)(CheckerContext &, 52 void MacOSXAPIChecker::CheckDispatchOnce(CheckerContext &C, const CallExpr *CE, in CheckDispatchOnce() 105 CheckerContext &C) const { in checkPreStmt()
|
/external/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
D | MPIChecker.h | 36 void checkPreCall(const CallEvent &CE, CheckerContext &Ctx) const { in checkPreCall() 42 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &Ctx) const { in checkDeadSymbols() 47 void dynamicInit(CheckerContext &Ctx) const { in dynamicInit() 61 clang::ento::CheckerContext &Ctx) const; 70 clang::ento::CheckerContext &Ctx) const; 76 clang::ento::CheckerContext &Ctx) const; 90 clang::ento::CheckerContext &Ctx) const;
|
/external/clang/lib/StaticAnalyzer/Core/ |
D | CheckerContext.cpp | 22 const FunctionDecl *CheckerContext::getCalleeDecl(const CallExpr *CE) const { in getCalleeDecl() 29 StringRef CheckerContext::getCalleeName(const FunctionDecl *FunDecl) const { in getCalleeName() 38 StringRef CheckerContext::getDeclDescription(const Decl *D) { in getDeclDescription() 46 bool CheckerContext::isCLibraryFunction(const FunctionDecl *FD, in isCLibraryFunction() 94 StringRef CheckerContext::getMacroNameOrSpelling(SourceLocation &Loc) { in getMacroNameOrSpelling()
|