/external/clang/lib/StaticAnalyzer/Checkers/ |
H A D | TraversalChecker.cpp | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h" 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 {
|
H A D | CheckerDocumentation.cpp | 108 void checkPreCall(const CallEvent &Call, CheckerContext &C) const {} 114 void checkPostCall(const CallEvent &Call, CheckerContext &C) const {} 254 const CallEvent *Call) const { 267 /// \param Call The corresponding CallEvent, if the symbols escape as 273 const CallEvent *Call, 284 const CallEvent *Call,
|
H A D | SimpleStreamChecker.cpp | 21 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h" 63 const CallEvent &Call, 69 bool guaranteedNotToCloseFile(const CallEvent &Call) const; 75 void checkPostCall(const CallEvent &Call, CheckerContext &C) const; 77 void checkPreCall(const CallEvent &Call, CheckerContext &C) const; 84 const CallEvent *Call, 120 void SimpleStreamChecker::checkPostCall(const CallEvent &Call, 141 void SimpleStreamChecker::checkPreCall(const CallEvent &Call, 208 const CallEvent &Call, 237 bool SimpleStreamChecker::guaranteedNotToCloseFile(const CallEvent [all...] |
H A D | NoReturnFunctionChecker.cpp | 20 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h" 35 void checkPostCall(const CallEvent &CE, CheckerContext &C) const; 41 void NoReturnFunctionChecker::checkPostCall(const CallEvent &CE,
|
H A D | NonNullParamChecker.cpp | 23 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h" 37 void checkPreCall(const CallEvent &Call, CheckerContext &C) const; 46 void NonNullParamChecker::checkPreCall(const CallEvent &Call, 69 CallEvent::param_type_iterator TyI = Call.param_type_begin(),
|
H A D | DynamicTypePropagation.cpp | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h" 39 void checkPreCall(const CallEvent &Call, CheckerContext &C) const; 40 void checkPostCall(const CallEvent &Call, CheckerContext &C) const; 60 void DynamicTypePropagation::checkPreCall(const CallEvent &Call, 104 void DynamicTypePropagation::checkPostCall(const CallEvent &Call,
|
H A D | ObjCSelfInitChecker.cpp | 44 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h" 79 void checkPreCall(const CallEvent &CE, CheckerContext &C) const; 80 void checkPostCall(const CallEvent &CE, CheckerContext &C) const; 239 void ObjCSelfInitChecker::checkPreCall(const CallEvent &CE, 267 void ObjCSelfInitChecker::checkPostCall(const CallEvent &CE,
|
H A D | ReturnUndefChecker.cpp | 20 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h" 47 QualType RT = CallEvent::getDeclaredResultType(SFC->getDecl());
|
H A D | CallAndMessageChecker.cpp | 21 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h" 63 void checkPreCall(const CallEvent &Call, CheckerContext &C) const; 68 bool CheckUninitFields, const CallEvent &Call, 107 static StringRef describeUninitializedArgumentInCall(const CallEvent &Call, 186 const CallEvent &Call, 353 void CallAndMessageChecker::checkPreCall(const CallEvent &Call,
|
H A D | MallocChecker.cpp | 24 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h" 199 void checkPreCall(const CallEvent &Call, CheckerContext &C) const; 214 const CallEvent *Call, 218 const CallEvent *Call, 340 bool mayFreeAnyEscapedMemoryOrIsModeledExplicitly(const CallEvent *Call, 347 const CallEvent *Call, 2163 void MallocChecker::checkPreCall(const CallEvent &Call, 2362 const CallEvent *Call, 2523 const CallEvent *Call, 2530 const CallEvent *Cal [all...] |
H A D | BasicObjCFoundationChecks.cpp | 27 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h" 855 const CallEvent *Call, 1091 static SymbolRef getMethodReceiverIfKnownImmutable(const CallEvent *Call) { 1132 const CallEvent *Call,
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | CallEvent.h | 1 //===- CallEvent.h - Wrapper for all function and method calls ----*- C++ -*--// 10 /// \file This file defines CallEvent and its subclasses, which represent path- 49 class CallEvent; 52 template<typename T = CallEvent> 110 /// CallEventManager to be able to re-use CallEvent-sized memory blocks, 111 /// subclasses of CallEvent may not add any data members to the base class. 113 class CallEvent { class in namespace:clang::ento 122 void operator=(const CallEvent &) = delete; 143 CallEvent(const Expr *E, ProgramStateRef state, const LocationContext *lctx) function in class:clang::ento::CallEvent 146 CallEvent(cons function in class:clang::ento::CallEvent 150 CallEvent(const CallEvent &Original) function in class:clang::ento::CallEvent [all...] |
H A D | SubEngine.h | 129 const CallEvent *Call) = 0; 146 const CallEvent *Call,
|
H A D | ExprEngine.h | 45 class CallEvent; 292 const CallEvent *Call) override; 506 const CallEvent *Call, 533 ProgramStateRef bindReturnValue(const CallEvent &Call, 540 const CallEvent &Call); 544 const CallEvent &Call); 569 bool shouldInlineCall(const CallEvent &Call, const Decl *D, 572 bool inlineCall(const CallEvent &Call, const Decl *D, NodeBuilder &Bldr, 577 void conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr, 583 const CallEvent [all...] |
H A D | Store.h | 33 class CallEvent; 188 const CallEvent *Call, 197 const CallEvent &Call,
|
H A D | ProgramState.h | 39 class CallEvent; 242 const CallEvent *Call = nullptr, 249 const CallEvent *Call = nullptr, 254 ProgramStateRef enterStackFrame(const CallEvent &Call, 430 const CallEvent *Call) const;
|
/external/clang/include/clang/StaticAnalyzer/Core/ |
H A D | CheckerManager.h | 237 const CallEvent &Call, ExprEngine &Eng) { 243 const CallEvent &Call, ExprEngine &Eng, 252 const CallEvent &Call, ExprEngine &Eng, 324 const CallEvent *Call); 335 /// \param Call The corresponding CallEvent, if the symbols escape as 344 const CallEvent *Call, 354 /// Warning: Currently, the CallEvent MUST come from a CallExpr! 357 const CallEvent &CE, ExprEngine &Eng); 399 typedef CheckerFn<void (const CallEvent &, CheckerContext &)> 429 const CallEvent *Cal [all...] |
H A D | Checker.h | 151 static void _checkCall(void *checker, const CallEvent &msg, 166 static void _checkCall(void *checker, const CallEvent &msg, 295 const CallEvent *Call) { 322 const CallEvent *Call, 365 const CallEvent *Call,
|
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | CallEvent.cpp | 10 /// \file This file defines CallEvent and its subclasses, which represent path- 16 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h" 27 QualType CallEvent::getResultType() const { 81 bool CallEvent::hasNonZeroCallbackArg() const { 90 for (CallEvent::param_type_iterator I = param_type_begin(), 103 bool CallEvent::isGlobalCFunction(StringRef FunctionName) const { 128 const CallEvent &Call) { 130 for (CallEvent::param_type_iterator I = Call.param_type_begin(), 138 ProgramStateRef CallEvent::invalidateRegions(unsigned BlockCount, 178 ProgramPoint CallEvent [all...] |
H A D | Android.mk | 20 CallEvent.cpp \
|
H A D | ExprEngineCallAndReturn.cpp | 21 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h" 236 // Generate a CallEvent /before/ cleaning the state, so that we can get the 252 CallEvent::getDeclaredResultType(calleeCtx->getDecl()); 416 bool ExprEngine::inlineCall(const CallEvent &Call, const Decl *D, 511 const CallEvent &Call) { 514 // use an updated CallEvent instance when calling checkers, but if 'Call' is 535 ProgramStateRef ExprEngine::bindReturnValue(const CallEvent &Call, 574 void ExprEngine::conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr, 590 static CallInlinePolicy mayInlineCallKind(const CallEvent &Call, 746 if (CallEvent [all...] |
H A D | Store.cpp | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h" 29 const CallEvent &Call, 33 SmallVector<CallEvent::FrameBindingTy, 16> InitialBindings; 36 for (CallEvent::BindingsTy::iterator I = InitialBindings.begin(),
|
H A D | CheckerManager.cpp | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h" 225 const CallEvent &Call; 232 const CallEvent &call, ExprEngine &eng, 251 const CallEvent &Call, 475 const CallEvent *Call) { 491 const CallEvent *Call, 526 const CallEvent &Call,
|
H A D | ProgramState.cpp | 16 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h" 144 const CallEvent *Call, 161 const CallEvent *Call, 175 const CallEvent *Call) const { 228 ProgramState::enterStackFrame(const CallEvent &Call,
|
H A D | ExplodedGraph.cpp | 18 #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h" 154 if (CallEvent::isCallStmt(SP->getStmt()))
|