| /external/clang/include/clang/StaticAnalyzer/Checkers/ |
| LocalCheckers.h | 21 class ExprEngine;
23 void RegisterCallInliner(ExprEngine &Eng);
|
| DereferenceChecker.h | 11 // in ExprEngine that check for null and undefined pointers at loads
25 class ExprEngine;
29 GetImplicitNullDereferences(ExprEngine &Eng);
|
| /external/clang/test/SemaTemplate/ |
| instantiate-member-expr.cpp | 12 class ExprEngine {
25 void f(ExprEngine& Eng) {
26 Eng.registerCheck(new RetainReleaseChecker); // expected-note {{in instantiation of function template specialization 'ExprEngine::registerCheck<RetainReleaseChecker>' requested here}}
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| AggExprVisitor.cpp | 15 #include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
26 /// ExprEngine. AggExprVisitor encapsulates code that goes through various
28 /// back to the ExprEngine to let the real evaluation logic happen.
33 ExprEngine &Eng;
37 ExprEngine &eng)
66 void ExprEngine::VisitAggExpr(const Expr *E, const MemRegion *Dest,
|
| CheckerManager.cpp | 131 ExprEngine &Eng;
137 const Stmt *s, ExprEngine &eng)
159 ExprEngine &Eng) {
171 ExprEngine &Eng;
177 const ObjCMessage &msg, ExprEngine &eng)
198 ExprEngine &Eng) {
213 ExprEngine &Eng;
219 SVal loc, bool isLoad, const Stmt *s, ExprEngine &eng)
239 const Stmt *S, ExprEngine &Eng) {
251 ExprEngine &Eng
[all...] |
| ExprEngineCallAndReturn.cpp | 10 // This file defines ExprEngine's support for calls and returns.
15 #include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
32 void ExprEngine::processCallEnter(CallEnterNodeBuilder &B) {
38 void ExprEngine::processCallExit(CallExitNodeBuilder &B) {
68 ExprEngine::invalidateArguments(const ProgramState *State,
161 void ExprEngine::VisitCallExpr(const CallExpr *CE, ExplodedNode *Pred,
169 ExprEngine &Eng;
173 DefaultEval(ExprEngine &eng, const CallExpr *ce)
232 void ExprEngine::VisitReturnStmt(const ReturnStmt *RS, ExplodedNode *Pred,
239 static SimpleProgramPointTag tag("ExprEngine: ReturnStmt")
[all...] |
| ExprEngine.cpp | 1 //=-- ExprEngine.cpp - Path-Sensitive Expression-Level Dataflow ---*- C++ -*-=
20 #include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
54 ExprEngine::ExprEngine(AnalysisManager &mgr, bool gcEnabled)
75 ExprEngine::~ExprEngine() {
84 const ProgramState *ExprEngine::getInitialState(const LocationContext *InitLoc) {
145 ExprEngine::doesInvalidateGlobals(const CallOrObjCMessage &callOrMessage) const
171 const ProgramState *ExprEngine::processAssume(const ProgramState *state,
176 bool ExprEngine::wantsRegionChangeUpdate(const ProgramState *state)
[all...] |
| ExprEngineCXX.cpp | 1 //===- ExprEngineCXX.cpp - ExprEngine support for C++ -----------*- C++ -*-===//
16 #include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
34 void ExprEngine::evalArguments(ConstExprIterator AI, ConstExprIterator AE,
66 void ExprEngine::evalCallee(const CallExpr *callExpr,
94 const CXXThisRegion *ExprEngine::getCXXThisRegion(const CXXRecordDecl *D,
101 const CXXThisRegion *ExprEngine::getCXXThisRegion(const CXXMethodDecl *decl,
107 void ExprEngine::CreateCXXTemporaryObject(const MaterializeTemporaryExpr *ME,
125 void ExprEngine::VisitCXXConstructExpr(const CXXConstructExpr *E,
217 void ExprEngine::VisitCXXDestructor(const CXXDestructorDecl *DD,
241 void ExprEngine::VisitCXXNewExpr(const CXXNewExpr *CNE, ExplodedNode *Pred
[all...] |
| ExprEngineObjC.cpp | 1 //=-- ExprEngineObjC.cpp - ExprEngine support for Objective-C ---*- C++ -*-===//
10 // This file defines ExprEngine's support for Objective-C expressions.
15 #include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
22 void ExprEngine::VisitLvalObjCIvarRefExpr(const ObjCIvarRefExpr *Ex,
38 void ExprEngine::VisitObjCAtSynchronizedStmt(const ObjCAtSynchronizedStmt *S,
44 void ExprEngine::VisitObjCForCollectionStmt(const ObjCForCollectionStmt *S,
129 void ExprEngine::VisitObjCMessage(const ObjCMessage &msg,
237 void ExprEngine::evalObjCMessage(ExplodedNodeSet &Dst, const ObjCMessage &msg,
|
| Android.mk | 24 ExprEngine.cpp \
|
| ExprEngineC.cpp | 1 //=-- ExprEngineC.cpp - ExprEngine support for C expressions ----*- C++ -*-===//
10 // This file defines ExprEngine's support for C expressions.
15 #include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
22 void ExprEngine::VisitBinaryOperator(const BinaryOperator* B,
160 void ExprEngine::VisitBlockExpr(const BlockExpr *BE, ExplodedNode *Pred,
175 void ExprEngine::VisitCast(const CastExpr *CastE, const Expr *Ex,
302 void ExprEngine::VisitCompoundLiteralExpr(const CompoundLiteralExpr *CL,
319 void ExprEngine::VisitDeclStmt(const DeclStmt *DS, ExplodedNode *Pred,
374 void ExprEngine::VisitLogicalExpr(const BinaryOperator* B, ExplodedNode *Pred,
422 void ExprEngine::VisitInitListExpr(const InitListExpr *IE
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| CheckerManager.h | 31 class ExprEngine;
169 ExprEngine &Eng) {
182 ExprEngine &Eng) {
189 const Stmt *S, ExprEngine &Eng);
195 ExprEngine &Eng) {
203 ExprEngine &Eng) {
211 const ObjCMessage &msg, ExprEngine &Eng);
218 ExprEngine &Eng);
224 const Stmt *S, ExprEngine &Eng);
228 ExprEngine &Eng)
[all...] |
| Checker.h | 188 BugReporter &BR, ExprEngine &Eng) {
203 ExprEngine &Eng) {
219 ExprEngine &Eng) {
342 ExprEngine &Eng,
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CheckerContext.h | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
27 ExprEngine &Eng;
40 ExprEngine &eng,
59 ExprEngine &getEngine() {
|
| ExprEngine.h | 1 //===-- ExprEngine.h - Path-Sensitive Expression-Level Dataflow ---*- C++ -*-=//
39 class ExprEngine : public SubEngine {
82 /// destructor is called before the rest of the ExprEngine is destroyed.
86 ExprEngine(AnalysisManager &mgr, bool gcEnabled);
88 ~ExprEngine();
|
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| BugType.h | 26 class ExprEngine;
|
| BugReporter.h | 43 class ExprEngine;
339 ExprEngine& Eng;
342 GRBugReporter(BugReporterData& d, ExprEngine& eng)
349 ExprEngine &getEngine() { return Eng; }
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| AnalyzerStatsChecker.cpp | 16 #include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
28 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const;
34 ExprEngine &Eng) const {
|
| UndefBranchChecker.cpp | 53 ExplodedNode *Pred, ExprEngine &Eng) const;
61 ExprEngine &Eng) const {
|
| OSAtomicChecker.cpp | 27 bool inlineCall(const CallExpr *CE, ExprEngine &Eng,
32 ExprEngine &Eng,
43 ExprEngine &Eng,
81 ExprEngine &Eng,
|
| UnreachableCodeChecker.cpp | 40 ExprEngine &Eng) const;
55 ExprEngine &Eng) const {
|
| StackAddrEscapeChecker.cpp | 34 void checkEndPath(EndOfFunctionNodeBuilder &B, ExprEngine &Eng) const;
140 ExprEngine &Eng) const {
148 ExprEngine &Eng;
153 CallBack(ExprEngine &Eng, const LocationContext *LCtx)
|
| IdempotentOperationChecker.cpp | 74 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const;
344 ExprEngine &Eng) const {
|
| MacOSKeychainAPIChecker.cpp | 61 void checkEndPath(EndOfFunctionNodeBuilder &B, ExprEngine &Eng) const;
561 ExprEngine &Eng) const {
|
| /external/clang/examples/wpa/ |
| clang-wpa.cpp | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
176 ExprEngine Eng(AMgr, TF);
|
