| /external/clang/lib/StaticAnalyzer/Checkers/ |
| ExprInspectionChecker.cpp | 13 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
23 void analyzerEval(const CallExpr *CE, CheckerContext &C) const;
24 void analyzerCheckInlined(const CallExpr *CE, CheckerContext &C) const;
25 void analyzerCrash(const CallExpr *CE, CheckerContext &C) const;
28 CheckerContext &C) const;
31 bool evalCall(const CallExpr *CE, CheckerContext &C) const;
36 CheckerContext &C) const {
54 CheckerContext &C) {
86 CheckerContext &C) const {
103 CheckerContext &C) const
[all...] |
| StreamChecker.cpp | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
74 bool evalCall(const CallExpr *CE, CheckerContext &C) const;
75 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
78 void Fopen(CheckerContext &C, const CallExpr *CE) const;
79 void Tmpfile(CheckerContext &C, const CallExpr *CE) const;
80 void Fclose(CheckerContext &C, const CallExpr *CE) const;
81 void Fread(CheckerContext &C, const CallExpr *CE) const;
82 void Fwrite(CheckerContext &C, const CallExpr *CE) const;
83 void Fseek(CheckerContext &C, const CallExpr *CE) const;
84 void Ftell(CheckerContext &C, const CallExpr *CE) const
[all...] |
| GenericTaintChecker.cpp | 23 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
36 void checkPostStmt(const CallExpr *CE, CheckerContext &C) const;
37 void checkPostStmt(const DeclRefExpr *DRE, CheckerContext &C) const;
39 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
54 bool checkPre(const CallExpr *CE, CheckerContext &C) const;
57 void addSourcesPre(const CallExpr *CE, CheckerContext &C) const;
60 bool propagateFromPre(const CallExpr *CE, CheckerContext &C) const;
63 void addSourcesPost(const CallExpr *CE, CheckerContext &C) const;
67 static bool isStdin(const Expr *E, CheckerContext &C);
71 static SymbolRef getPointedToSymbol(CheckerContext &C, const Expr *Arg)
[all...] |
| ChrootChecker.cpp | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
54 bool evalCall(const CallExpr *CE, CheckerContext &C) const;
55 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
58 void Chroot(CheckerContext &C, const CallExpr *CE) const;
59 void Chdir(CheckerContext &C, const CallExpr *CE) const;
64 bool ChrootChecker::evalCall(const CallExpr *CE, CheckerContext &C) const {
87 void ChrootChecker::Chroot(CheckerContext &C, const CallExpr *CE) const {
97 void ChrootChecker::Chdir(CheckerContext &C, const CallExpr *CE) const {
124 void ChrootChecker::checkPreStmt(const CallExpr *CE, CheckerContext &C) const {
|
| TaintTesterChecker.cpp | 17 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
30 SymbolRef getPointedToSymbol(CheckerContext &C,
35 void checkPostStmt(const Expr *E, CheckerContext &C) const;
45 CheckerContext &C) const {
|
| TraversalChecker.cpp | 20 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
30 void checkBranchCondition(const Stmt *Condition, CheckerContext &C) const;
31 void checkEndFunction(CheckerContext &C) const;
36 CheckerContext &C) const {
53 void TraversalDumper::checkEndFunction(CheckerContext &C) const {
67 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
68 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
72 void CallDumper::checkPreCall(const CallEvent &Call, CheckerContext &C) const {
85 void CallDumper::checkPostCall(const CallEvent &Call, CheckerContext &C) const {
|
| ObjCSelfInitChecker.cpp | 45 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
55 static bool isSelfVar(SVal location, CheckerContext &C);
66 void checkPostObjCMessage(const ObjCMethodCall &Msg, CheckerContext &C) const;
67 void checkPostStmt(const ObjCIvarRefExpr *E, CheckerContext &C) const;
68 void checkPreStmt(const ReturnStmt *S, CheckerContext &C) const;
70 CheckerContext &C) const;
71 void checkBind(SVal loc, SVal val, const Stmt *S, CheckerContext &C) const;
73 void checkPreCall(const CallEvent &CE, CheckerContext &C) const;
74 void checkPostCall(const CallEvent &CE, CheckerContext &C) const;
119 static SelfFlagEnum getSelfFlags(SVal val, CheckerContext &C)
[all...] |
| ArrayBoundCheckerV2.cpp | 20 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
35 void reportOOB(CheckerContext &C, ProgramStateRef errorState,
40 CheckerContext &C) const;
86 CheckerContext &checkerContext) const {
97 ProgramStateRef state = checkerContext.getState();
100 SValBuilder &svalBuilder = checkerContext.getSValBuilder();
128 reportOOB(checkerContext, state_precedesLowerBound, OOB_Precedes);
161 reportOOB(checkerContext, state_exceedsUpperBound, OOB_Tainted);
168 reportOOB(checkerContext, state_exceedsUpperBound, OOB_Excedes)
[all...] |
| ObjCContainersChecker.cpp | 24 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
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;
62 CheckerContext &C) const {
81 CheckerContext &C) const {
104 CheckerContext &C) const {
|
| ReturnUndefChecker.cpp | 21 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
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 {
81 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,
|
| DynamicTypePropagation.cpp | 20 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
33 CheckerContext &C) const;
37 CheckerContext &C) const;
39 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
40 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
41 void checkPostStmt(const ImplicitCastExpr *CastE, CheckerContext &C) const;
42 void checkPostStmt(const CXXNewExpr *NewE, CheckerContext &C) const;
47 CheckerContext &C) {
61 CheckerContext &C) const {
105 CheckerContext &C) const
[all...] |
| DivZeroChecker.cpp | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
29 CheckerContext &C) const ;
31 void checkPreStmt(const BinaryOperator *B, CheckerContext &C) const;
37 CheckerContext &C) const {
49 CheckerContext &C) const {
|
| CStringChecker.cpp | 21 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
60 bool evalCall(const CallExpr *CE, CheckerContext &C) const;
61 void checkPreStmt(const DeclStmt *DS, CheckerContext &C) const;
63 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
73 typedef void (CStringChecker::*FnCheck)(CheckerContext &,
76 void evalMemcpy(CheckerContext &C, const CallExpr *CE) const;
77 void evalMempcpy(CheckerContext &C, const CallExpr *CE) const;
78 void evalMemmove(CheckerContext &C, const CallExpr *CE) const;
79 void evalBcopy(CheckerContext &C, const CallExpr *CE) const;
80 void evalCopyCommon(CheckerContext &C, const CallExpr *CE
[all...] |
| PthreadLockChecker.cpp | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
36 void checkPostStmt(const CallExpr *CE, CheckerContext &C) const;
38 void AcquireLock(CheckerContext &C, const CallExpr *CE, SVal lock,
41 void ReleaseLock(CheckerContext &C, const CallExpr *CE, SVal lock) const;
50 CheckerContext &C) const {
87 void PthreadLockChecker::AcquireLock(CheckerContext &C, const CallExpr *CE,
150 void PthreadLockChecker::ReleaseLock(CheckerContext &C, const CallExpr *CE,
|
| StackAddrEscapeChecker.cpp | 21 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
35 void checkPreStmt(const ReturnStmt *RS, CheckerContext &C) const;
36 void checkEndFunction(CheckerContext &Ctx) const;
38 void EmitStackError(CheckerContext &C, const MemRegion *R,
95 void StackAddrEscapeChecker::EmitStackError(CheckerContext &C, const MemRegion *R,
120 CheckerContext &C) const {
162 void StackAddrEscapeChecker::checkEndFunction(CheckerContext &Ctx) const {
169 CheckerContext &Ctx;
174 CallBack(CheckerContext &CC) :
|
| FixedAddressChecker.cpp | 20 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
31 void checkPreStmt(const BinaryOperator *B, CheckerContext &C) const;
36 CheckerContext &C) const {
|
| UndefinedArraySubscriptChecker.cpp | 20 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
31 void checkPreStmt(const ArraySubscriptExpr *A, CheckerContext &C) const;
37 CheckerContext &C) const {
|
| MallocChecker.cpp | 23 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
184 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
185 void checkPostStmt(const CallExpr *CE, CheckerContext &C) const;
186 void checkPostStmt(const CXXNewExpr *NE, CheckerContext &C) const;
187 void checkPreStmt(const CXXDeleteExpr *DE, CheckerContext &C) const;
188 void checkPostObjCMessage(const ObjCMethodCall &Call, CheckerContext &C) const;
189 void checkPostStmt(const BlockExpr *BE, CheckerContext &C) const;
190 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
191 void checkPreStmt(const ReturnStmt *S, CheckerContext &C) const;
195 CheckerContext &C) const
[all...] |
| SimpleStreamChecker.cpp | 22 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
64 CheckerContext &C) const;
67 CheckerContext &C,
76 void checkPostCall(const CallEvent &Call, CheckerContext &C) const;
78 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
80 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
122 CheckerContext &C) const {
143 CheckerContext &C) const {
186 CheckerContext &C) const {
210 CheckerContext &C) const
[all...] |
| UnixAPIChecker.cpp | 20 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
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
[all...] |
| CallAndMessageChecker.cpp | 22 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
46 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
47 void checkPreObjCMessage(const ObjCMethodCall &msg, CheckerContext &C) const;
48 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
51 static bool PreVisitProcessArg(CheckerContext &C, SVal V,
56 static void emitBadCall(BugType *BT, CheckerContext &C, const Expr *BadE);
57 void emitNilReceiverBug(CheckerContext &C, const ObjCMethodCall &msg,
60 void HandleNilReceiver(CheckerContext &C,
71 void CallAndMessageChecker::emitBadCall(BugType *BT, CheckerContext &C,
112 bool CallAndMessageChecker::PreVisitProcessArg(CheckerContext &C
[all...] |
| CheckerDocumentation.cpp | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
36 /// \sa CheckerContext
71 void checkPreStmt(const ReturnStmt *DS, CheckerContext &C) const {}
81 void checkPostStmt(const DeclStmt *DS, CheckerContext &C) const;
90 void checkPreObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const {}
96 void checkPostObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const {}
108 void checkPreCall(const CallEvent &Call, CheckerContext &C) const {}
114 void checkPostCall(const CallEvent &Call, CheckerContext &C) const {}
117 void checkBranchCondition(const Stmt *Condition, CheckerContext &Ctx) const {}
129 CheckerContext &) const {
[all...] |
| /external/clang/examples/analyzer-plugin/ |
| MainCallChecker.cpp | 4 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
14 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
18 void MainCallChecker::checkPreStmt(const CallExpr *CE, CheckerContext &C) const {
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| CheckerContext.cpp | 1 //== CheckerContext.cpp - Context info for path-sensitive checkers-----------=//
10 // This file defines CheckerContext that provides contextual info for
15 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
22 const FunctionDecl *CheckerContext::getCalleeDecl(const CallExpr *CE) const {
29 StringRef CheckerContext::getCalleeName(const FunctionDecl *FunDecl) const {
39 bool CheckerContext::isCLibraryFunction(const FunctionDecl *FD,
91 StringRef CheckerContext::getMacroNameOrSpelling(SourceLocation &Loc) {
|
| CMakeLists.txt | 13 CheckerContext.cpp
|
