| /external/clang/lib/StaticAnalyzer/Checkers/ |
| BasicObjCFoundationChecks.cpp | 27 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
100 CheckerContext &C) const;
102 void warnIfNilArg(CheckerContext &C,
111 CheckerContext &C) const;
114 void checkPreObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const;
116 CheckerContext &C) const;
118 CheckerContext &C) const;
124 CheckerContext &C) const {
135 void NilArgChecker::warnIfNilArg(CheckerContext &C,
188 CheckerContext &C) const
[all...] |
| ArrayBoundChecker.cpp | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
31 CheckerContext &C) const;
36 CheckerContext &C) const {
|
| BuiltinFunctionChecker.cpp | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
27 bool evalCall(const CallExpr *CE, CheckerContext &C) const;
33 CheckerContext &C) const {
|
| CastToStructChecker.cpp | 20 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
30 void checkPreStmt(const CastExpr *CE, CheckerContext &C) const;
35 CheckerContext &C) const {
|
| ObjCAtSyncChecker.cpp | 20 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
33 void checkPreStmt(const ObjCAtSynchronizedStmt *S, CheckerContext &C) const;
38 CheckerContext &C) const {
|
| PointerArithChecker.cpp | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
30 void checkPreStmt(const BinaryOperator *B, CheckerContext &C) const;
35 CheckerContext &C) const {
|
| PointerSubChecker.cpp | 20 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
31 void checkPreStmt(const BinaryOperator *B, CheckerContext &C) const;
36 CheckerContext &C) const {
|
| ReturnPointerRangeChecker.cpp | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
30 void checkPreStmt(const ReturnStmt *RS, CheckerContext &C) const;
35 CheckerContext &C) const {
|
| UndefinedAssignmentChecker.cpp | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
31 CheckerContext &C) const;
37 CheckerContext &C) const {
|
| 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...] |
| 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...] |
| VLASizeChecker.cpp | 22 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
38 CheckerContext &C) const;
40 void checkPreStmt(const DeclStmt *DS, CheckerContext &C) const;
47 CheckerContext &C) const {
78 void VLASizeChecker::checkPreStmt(const DeclStmt *DS, CheckerContext &C) const {
|
| CastSizeChecker.cpp | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
28 void checkPreStmt(const CastExpr *CE, CheckerContext &C) const;
32 void CastSizeChecker::checkPreStmt(const CastExpr *CE,CheckerContext &C) const {
|
| UndefBranchChecker.cpp | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
56 void checkBranchCondition(const Stmt *Condition, CheckerContext &Ctx) const;
62 CheckerContext &Ctx) const {
|
| UndefCapturedBlockVarChecker.cpp | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
33 void checkPostStmt(const BlockExpr *BE, CheckerContext &C) const;
56 CheckerContext &C) const {
|
| UndefResultChecker.cpp | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
34 void checkPostStmt(const BinaryOperator *B, CheckerContext &C) const;
39 CheckerContext &C) const {
|
| DereferenceChecker.cpp | 20 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
35 void reportBug(ProgramStateRef State, const Stmt *S, CheckerContext &C,
40 CheckerContext &C) const;
41 void checkBind(SVal L, SVal V, const Stmt *S, CheckerContext &C) const;
91 CheckerContext &C, bool IsBind) const {
178 CheckerContext &C) const {
226 CheckerContext &C) const {
|
| MacOSKeychainAPIChecker.cpp | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
57 void checkPreStmt(const CallExpr *S, CheckerContext &C) const;
58 void checkPostStmt(const CallExpr *S, CheckerContext &C) const;
59 void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
100 CheckerContext &C) const;
104 CheckerContext &C) const;
108 CheckerContext &C) const;
217 CheckerContext &C) {
257 CheckerContext &C) const {
280 CheckerContext &C) const
[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...] |
| NSErrorChecker.cpp | 24 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
162 CheckerContext &C) const;
180 static void setFlag(ProgramStateRef state, SVal val, CheckerContext &C) {
186 static QualType parameterTypeFromSVal(SVal val, CheckerContext &C) {
203 CheckerContext &C) const {
|
| CStringSyntaxChecker.cpp | 25 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
60 return (CheckerContext::isCLibraryFunction(FD, "strlen") &&
140 if (CheckerContext::isCLibraryFunction(FD, "strncat")) {
|
| NonNullParamChecker.cpp | 24 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
36 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
46 CheckerContext &C) const {
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| Checker.h | 88 static void _checkStmt(void *checker, const Stmt *S, CheckerContext &C) {
107 static void _checkStmt(void *checker, const Stmt *S, CheckerContext &C) {
126 CheckerContext &C) {
141 CheckerContext &C) {
156 CheckerContext &C) {
171 CheckerContext &C) {
187 CheckerContext &C) {
203 CheckerContext &C) {
233 CheckerContext &C) {
248 CheckerContext & C)
[all...] |
| CheckerManager.h | 36 class CheckerContext;
424 typedef CheckerFn<void (const Stmt *, CheckerContext &)> CheckStmtFunc;
426 typedef CheckerFn<void (const ObjCMethodCall &, CheckerContext &)>
429 typedef CheckerFn<void (const CallEvent &, CheckerContext &)>
434 CheckerContext &)>
438 const Stmt *S, CheckerContext &)>
444 typedef CheckerFn<void (CheckerContext &)>
447 typedef CheckerFn<void (const Stmt *, CheckerContext &)>
450 typedef CheckerFn<void (SymbolReaper &, CheckerContext &)>
475 typedef CheckerFn<bool (const CallExpr *, CheckerContext &)
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CheckerContext.h | 1 //== CheckerContext.h - Context info for path-sensitive checkers--*- C++ -*--=//
10 // This file defines CheckerContext that provides contextual info for
70 class CheckerContext {
87 CheckerContext(NodeBuilder &builder,
195 /// (ExplodedGraph). Uses the default CheckerContext predecessor node.
|
