| /external/clang/lib/StaticAnalyzer/Checkers/ |
| MallocChecker.cpp | 23 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
149 void checkPreStmt(const CallExpr *S, CheckerContext &C) const;
150 void checkPostStmt(const CallExpr *CE, CheckerContext &C) const;
151 void checkPostObjCMessage(const ObjCMethodCall &Call, CheckerContext &C) const;
152 void checkPostStmt(const BlockExpr *BE, CheckerContext &C) const;
153 void checkDeadSymbols(SymbolReaper &SymReaper, CheckerContext &C) const;
154 void checkPreStmt(const ReturnStmt *S, CheckerContext &C) const;
158 CheckerContext &C) const;
178 static ProgramStateRef MallocMemReturnsAttr(CheckerContext &C,
181 static ProgramStateRef MallocMemAux(CheckerContext &C, const CallExpr *CE
[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 {
|
| UndefResultChecker.cpp | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
34 void checkPostStmt(const BinaryOperator *B, CheckerContext &C) const;
39 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"
45 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
46 void checkPreObjCMessage(const ObjCMethodCall &msg, CheckerContext &C) const;
47 void checkPreCall(const CallEvent &Call, CheckerContext &C) const;
50 static bool PreVisitProcessArg(CheckerContext &C, SVal V,
55 static void emitBadCall(BugType *BT, CheckerContext &C, const Expr *BadE);
56 void emitNilReceiverBug(CheckerContext &C, const ObjCMethodCall &msg,
59 void HandleNilReceiver(CheckerContext &C,
70 void CallAndMessageChecker::emitBadCall(BugType *BT, CheckerContext &C,
111 bool CallAndMessageChecker::PreVisitProcessArg(CheckerContext &C
[all...] |
| BasicObjCFoundationChecks.cpp | 27 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
98 void WarnNilArg(CheckerContext &C,
102 void checkPreObjCMessage(const ObjCMethodCall &M, CheckerContext &C) const;
106 void NilArgChecker::WarnNilArg(CheckerContext &C,
126 CheckerContext &C) const {
201 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
281 CheckerContext &C) const {
385 void checkPreStmt(const CallExpr *CE, CheckerContext &C) const;
391 CheckerContext &C) const {
476 void checkPreObjCMessage(const ObjCMethodCall &msg, 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 {
|
| 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;
99 CheckerContext &C) const;
103 CheckerContext &C) const;
107 CheckerContext &C) const;
216 CheckerContext &C) {
256 CheckerContext &C) const {
279 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") &&
138 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 | 35 class CheckerContext;
402 typedef CheckerFn<void (const Stmt *, CheckerContext &)> CheckStmtFunc;
404 typedef CheckerFn<void (const ObjCMethodCall &, CheckerContext &)>
407 typedef CheckerFn<void (const CallEvent &, CheckerContext &)>
412 CheckerContext &)>
416 const Stmt *S, CheckerContext &)>
422 typedef CheckerFn<void (CheckerContext &)>
425 typedef CheckerFn<void (const Stmt *, CheckerContext &)>
428 typedef CheckerFn<void (SymbolReaper &, CheckerContext &)>
452 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,
199 /// (ExplodedGraph). Uses the default CheckerContext predecessor node.
|
