| /external/clang/lib/StaticAnalyzer/Checkers/ |
| CheckerDocumentation.cpp | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
35 /// \sa CheckerContext
66 void checkPreStmt(const DeclStmt *DS, CheckerContext &C) const {}
76 void checkPostStmt(const CallExpr *DS, CheckerContext &C) const;
79 void checkPreObjCMessage(const ObjCMessage &Msg, CheckerContext &C) const {}
82 void checkPostObjCMessage(const ObjCMessage &Msg, CheckerContext &C) const {}
85 void checkBranchCondition(const Stmt *Condition, CheckerContext &Ctx) const {}
97 CheckerContext &C) const {}
106 void checkBind(SVal Loc, SVal Val, const Stmt *S, CheckerContext &C) const {}
123 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const {
[all...] |
| ObjCSelfInitChecker.cpp | 42 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
54 static bool isSelfVar(SVal location, CheckerContext &C);
65 void checkPreObjCMessage(ObjCMessage msg, CheckerContext &C) const;
66 void checkPostObjCMessage(ObjCMessage msg, CheckerContext &C) const;
67 void checkPostStmt(const ObjCIvarRefExpr *E, CheckerContext &C) const;
68 void checkPreStmt(const ReturnStmt *S, CheckerContext &C) const;
69 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
70 void checkPostStmt(const CallExpr *CE, CheckerContext &C) const;
72 CheckerContext &C) const;
74 void checkPreStmt(const CallOrObjCMessage &CE, CheckerContext &C) const
[all...] |
| TaintTesterChecker.cpp | 16 #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 {
|
| StreamChecker.cpp | 17 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
76 bool evalCall(const CallExpr *CE, CheckerContext &C) const;
77 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
78 void checkEndPath(CheckerContext &Ctx) const;
79 void checkPreStmt(const ReturnStmt *S, CheckerContext &C) const;
82 void Fopen(CheckerContext &C, const CallExpr *CE) const;
83 void Tmpfile(CheckerContext &C, const CallExpr *CE) const;
84 void Fclose(CheckerContext &C, const CallExpr *CE) const;
85 void Fread(CheckerContext &C, const CallExpr *CE) const;
86 void Fwrite(CheckerContext &C, const CallExpr *CE) const
[all...] |
| UnixAPIChecker.cpp | 18 #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 CheckAllocaZero(CheckerContext &C, const CallExpr *CE) const;
45 void CheckVallocZero(CheckerContext &C, const CallExpr *CE) const;
47 typedef void (UnixAPIChecker::*SubChecker)(CheckerContext &
[all...] |
| MacOSXAPIChecker.cpp | 21 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
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,
95 CheckerContext &C) const {
|
| GenericTaintChecker.cpp | 20 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
35 void checkPostStmt(const CallExpr *CE, CheckerContext &C) const;
36 void checkPostStmt(const DeclRefExpr *DRE, 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)
[all...] |
| ChrootChecker.cpp | 17 #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 {
|
| FixedAddressChecker.cpp | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
31 void checkPreStmt(const BinaryOperator *B, CheckerContext &C) const;
36 CheckerContext &C) const {
|
| ReturnUndefChecker.cpp | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
30 void checkPreStmt(const ReturnStmt *RS, CheckerContext &C) const;
35 CheckerContext &C) const {
|
| UndefinedArraySubscriptChecker.cpp | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
30 void checkPreStmt(const ArraySubscriptExpr *A, CheckerContext &C) const;
36 CheckerContext &C) const {
|
| DivZeroChecker.cpp | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
29 CheckerContext &C) const ;
31 void checkPreStmt(const BinaryOperator *B, CheckerContext &C) const;
37 CheckerContext &C) const {
52 CheckerContext &C) const {
|
| NoReturnFunctionChecker.cpp | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
31 void checkPostStmt(const CallExpr *CE, CheckerContext &C) const;
32 void checkPostObjCMessage(const ObjCMessage &msg, CheckerContext &C) const;
38 CheckerContext &C) const {
102 CheckerContext &C) const {
|
| ObjCContainersChecker.cpp | 22 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
41 inline SymbolRef getArraySym(const Expr *E, CheckerContext &C) const {
48 CheckerContext &C) const;
54 void checkPostStmt(const CallExpr *CE, CheckerContext &C) const;
55 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
71 CheckerContext &C) const {
89 CheckerContext &C) const {
112 CheckerContext &C) const {
|
| MallocChecker.cpp | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
118 void checkPreStmt(const CallExpr *S, CheckerContext &C) const;
119 void checkPostStmt(const CallExpr *CE, CheckerContext &C) const;
120 void checkPostStmt(const BlockExpr *BE, CheckerContext &C) const;
121 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
122 void checkEndPath(CheckerContext &C) const;
123 void checkPreStmt(const ReturnStmt *S, CheckerContext &C) const;
127 CheckerContext &C) const;
129 CheckerContext &C) const;
147 static ProgramStateRef MallocMemReturnsAttr(CheckerContext &C
[all...] |
| CStringChecker.cpp | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
58 bool evalCall(const CallExpr *CE, CheckerContext &C) const;
59 void checkPreStmt(const DeclStmt *DS, CheckerContext &C) const;
61 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
71 typedef void (CStringChecker::*FnCheck)(CheckerContext &,
74 void evalMemcpy(CheckerContext &C, const CallExpr *CE) const;
75 void evalMempcpy(CheckerContext &C, const CallExpr *CE) const;
76 void evalMemmove(CheckerContext &C, const CallExpr *CE) const;
77 void evalBcopy(CheckerContext &C, const CallExpr *CE) const;
78 void evalCopyCommon(CheckerContext &C, const CallExpr *CE
[all...] |
| PthreadLockChecker.cpp | 18 #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;
58 CheckerContext &C) const {
95 void PthreadLockChecker::AcquireLock(CheckerContext &C, const CallExpr *CE,
158 void PthreadLockChecker::ReleaseLock(CheckerContext &C, const CallExpr *CE,
|
| BoolAssignmentChecker.cpp | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
27 void emitReport(ProgramStateRef state, CheckerContext &C) const;
29 void checkBind(SVal loc, SVal val, const Stmt *S, CheckerContext &C) const;
34 CheckerContext &C) const {
55 CheckerContext &C) const {
|
| AdjustedReturnValueChecker.cpp | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
29 void checkPostStmt(const CallExpr *CE, CheckerContext &C) const;
34 CheckerContext &C) const {
|
| ArrayBoundChecker.cpp | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
31 CheckerContext &C) const;
36 CheckerContext &C) const {
|
| BuiltinFunctionChecker.cpp | 17 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
27 bool evalCall(const CallExpr *CE, CheckerContext &C) const;
33 CheckerContext &C) const {
|
| CastToStructChecker.cpp | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
30 void checkPreStmt(const CastExpr *CE, CheckerContext &C) const;
35 CheckerContext &C) const {
|
| NSAutoreleasePoolChecker.cpp | 23 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
39 void checkPreObjCMessage(ObjCMessage msg, CheckerContext &C) const;
45 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,
44 bool CheckerContext::isCLibraryFunction(const FunctionDecl *FD,
76 StringRef CheckerContext::getMacroNameOrSpelling(SourceLocation &Loc) {
|
| /external/clang/examples/analyzer-plugin/ |
| MainCallChecker.cpp | 2 #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 {
|
