Home
last modified time | relevance | path

Searched refs:CheckerContext (Results 1 – 25 of 64) sorted by relevance

123

/external/clang/lib/StaticAnalyzer/Checkers/
DExprInspectionChecker.cpp24 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 …]
DStreamChecker.cpp76 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 …]
DCheckerDocumentation.cpp71 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 …]
DUnixAPIChecker.cpp37 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 …]
DGenericTaintChecker.cpp36 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 …]
DObjCSelfInitChecker.cpp55 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 …]
DVforkChecker.cpp53 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 …]
DPointerArithChecker.cpp53 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 …]
DTraversalChecker.cpp31 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()
DCStringChecker.cpp62 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 …]
DCheckObjCDealloc.cpp115 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 …]
DTestAfterDivZeroChecker.cpp83 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 …]
DBasicObjCFoundationChecks.cpp115 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 …]
DObjCSuperDeallocChecker.cpp42 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 …]
DChrootChecker.cpp55 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()
DReturnUndefChecker.cpp31 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()
DCallAndMessageChecker.cpp61 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 …]
DSimpleStreamChecker.cpp62 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()
DMallocChecker.cpp201 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 …]
DPthreadLockChecker.cpp64 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 …]
DObjCContainersChecker.cpp41 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()
DDynamicTypePropagation.cpp59 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 …]
DMacOSXAPIChecker.cpp37 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/
DMPIChecker.h36 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/
DCheckerContext.cpp22 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()

123