/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.
|