| /external/clang/lib/StaticAnalyzer/Core/ |
| H A D | ConstraintManager.cpp | 23 const MemRegion *R = State->getStateManager().getRegionManager()
|
| H A D | ProgramState.cpp | 37 ProgramStateManager &Mgr = s->getStateManager();
115 ProgramStateManager &Mgr = getStateManager();
126 ProgramStateManager &Mgr = getStateManager();
176 ProgramStateManager &Mgr = getStateManager();
219 getStateManager().StoreMgr->killBinding(OldStore, LV);
231 getStateManager().StoreMgr->enterStackFrame(getStore(), Call, CalleeCtx);
260 if (const llvm::APSInt *Int = getStateManager()
294 getStateManager().EnvMgr.bindExpr(Env, EnvironmentEntry(S, LCtx), V,
301 return getStateManager().getPersistentState(NewSt);
314 ProgramStateManager &SM = getStateManager();
[all...] |
| H A D | CallEvent.cpp | 32 ASTContext &Ctx = getState()->getStateManager().getContext();
219 ASTContext &Ctx = getState()->getStateManager().getContext();
322 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
490 ProgramStateManager &StateMgr = getState()->getStateManager();
561 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
585 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
730 getState()->getStateManager().getContext().getSourceManager();
887 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
938 SValBuilder &SVB = State->getStateManager().getSValBuilder();
964 SValBuilder &SVB = State->getStateManager()
[all...] |
| H A D | ExprEngineCXX.cpp | 94 SValBuilder &SVB = State->getStateManager().getSValBuilder();
234 CallEventManager &CEMgr = getStateManager().getCallEventManager();
321 CallEventManager &CEMgr = getStateManager().getCallEventManager();
352 CallEventManager &CEMgr = getStateManager().getCallEventManager();
405 CallEventManager &CEMgr = getStateManager().getCallEventManager();
|
| H A D | ExprEngineObjC.cpp | 138 CallEventManager &CEMgr = getStateManager().getCallEventManager();
|
| H A D | SimpleConstraintManager.cpp | 73 SValBuilder &SVB = state->getStateManager().getSValBuilder();
|
| H A D | BugReporterVisitors.cpp | 215 SubEngine *Eng = State->getStateManager().getOwningEngine();
356 ProgramStateManager &StateMgr = BRC.getStateManager();
512 ProgramStateManager &StateMgr = BRC.getStateManager();
790 SubEngine *Eng = N->getState()->getStateManager().getOwningEngine();
847 ProgramStateManager &StateMgr = N->getState()->getStateManager();
1123 ProgramStateManager &StateMgr = state->getStateManager();
1606 CallEventManager &CEMgr = BRC.getStateManager().getCallEventManager();
|
| H A D | ExprEngineCallAndReturn.cpp | 238 CallEventManager &CEMgr = getStateManager().getCallEventManager();
490 CallEventManager &CEMgr = getStateManager().getCallEventManager();
|
| H A D | ExprEngine.cpp | 191 ProgramStateManager &StateMgr = State->getStateManager();
1479 SVal recovered = RecoverCastedSymbol(getStateManager(),
|
| H A D | BugReporter.cpp | 2763 GRBugReporter::getStateManager() { return Eng.getStateManager(); } function in class:GRBugReporter
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ProgramState.h | 108 ProgramStateManager &getStateManager() const { function in class:clang::ento::ProgramState
631 return getStateManager().getRegionManager().getVarRegion(D, LC);
639 return getStateManager().ConstraintMgr
648 return getStateManager().ConstraintMgr
660 return getStateManager().StoreMgr->getLValueVar(VD, LC);
665 return getStateManager().StoreMgr->getLValueCompoundLiteral(literal, LC);
669 return getStateManager().StoreMgr->getLValueIvar(D, Base);
673 return getStateManager().StoreMgr->getLValueField(D, Base);
678 StoreManager &SM = *getStateManager().StoreMgr;
688 return getStateManager()
[all...] |
| H A D | CheckerContext.h | 169 ProgramStateManager &getStateManager() { function in class:clang::ento::CheckerContext
170 return Eng.getStateManager();
|
| H A D | SubEngine.h | 52 virtual ProgramStateManager &getStateManager() = 0;
|
| H A D | SValBuilder.h | 124 ProgramStateManager &getStateManager() { return StateMgr; } function in class:clang::ento::SValBuilder
|
| H A D | CallEvent.h | 217 getState()->getStateManager().getContext().getSourceManager();
995 CallEventManager &Mgr = State->getStateManager().getCallEventManager();
1011 CallEventManager &Mgr = State->getStateManager().getCallEventManager();
|
| H A D | ExprEngine.h | 289 ProgramStateManager& getStateManager() override { return StateMgr; }
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ChrootChecker.cpp | 89 ProgramStateManager &Mgr = state->getStateManager();
99 ProgramStateManager &Mgr = state->getStateManager();
|
| H A D | CallAndMessageChecker.cpp | 256 FindUninitializedField F(C.getState()->getStateManager().getStoreManager(),
|
| H A D | MallocChecker.cpp | 2108 ASTContext &ASTC = State->getStateManager().getContext();
|
| H A D | RetainCountChecker.cpp | 1896 CallEventManager &Mgr = CurrSt->getStateManager().getCallEventManager();
2242 GetAllocationSite(BRC.getStateManager(), EndN, Sym);
2335 GetAllocationSite(Ctx.getStateManager(), getErrorNode(), sym);
|
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | BugReporter.h | 502 /// getStateManager - Return the state manager used by the analysis
504 ProgramStateManager &getStateManager();
535 ProgramStateManager& getStateManager() { function in class:clang::ento::BugReporterContext
536 return BR.getStateManager();
540 return getStateManager().getSValBuilder();
|
| /external/eclipse-basebuilder/basebuilder-3.6.2/org.eclipse.releng.basebuilder/plugins/ |
| H A D | org.eclipse.osgi_3.6.1.R36x_v20100806.jar | META-INF/MANIFEST.MF META-INF/ECLIPSEF.SF META-INF/ECLIPSEF.RSA META ... |
| H A D | org.eclipse.osgi_3.6.2.R36x_v20101103.jar | META-INF/MANIFEST.MF META-INF/ECLIPSEF.SF META-INF/ECLIPSEF.RSA META ... |