| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 110 ProgramStateManager &getStateManager() const {
640 return getStateManager().getRegionManager().getVarRegion(D, LC);
648 return getStateManager().ConstraintMgr
657 return getStateManager().ConstraintMgr
671 return getStateManager().ConstraintMgr->assumeWithinInclusiveRange(
684 return getStateManager().ConstraintMgr
696 return getStateManager().StoreMgr->getLValueVar(VD, LC);
701 return getStateManager().StoreMgr->getLValueCompoundLiteral(literal, LC);
705 return getStateManager().StoreMgr->getLValueIvar(D, Base);
709 return getStateManager().StoreMgr->getLValueField(D, Base)
[all...] |
| SubEngine.h | 52 virtual ProgramStateManager &getStateManager() = 0;
|
| CheckerContext.h | 169 ProgramStateManager &getStateManager() {
170 return Eng.getStateManager();
|
| SValBuilder.h | 129 ProgramStateManager &getStateManager() { return StateMgr; }
|
| CallEvent.h | 243 getState()->getStateManager().getContext().getSourceManager();
[all...] |
| ExprEngine.h | 305 ProgramStateManager& getStateManager() override { return StateMgr; }
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| ConstraintManager.cpp | 23 const MemRegion *R = State->getStateManager().getRegionManager()
|
| LoopWidening.cpp | 53 MemRegionManager &MRMgr = PrevState->getStateManager().getRegionManager();
|
| 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...] |
| CallEvent.cpp | 33 ASTContext &Ctx = getState()->getStateManager().getContext();
216 CD.II = &getState()->getStateManager().getContext().Idents.get(CD.FuncName);
247 ASTContext &Ctx = getState()->getStateManager().getContext();
350 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
540 ProgramStateManager &StateMgr = getState()->getStateManager();
611 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
652 SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
843 getState()->getStateManager().getContext().getSourceManager();
[all...] |
| ExprEngineCXX.cpp | 94 SValBuilder &SVB = State->getStateManager().getSValBuilder();
290 CallEventManager &CEMgr = getStateManager().getCallEventManager();
377 CallEventManager &CEMgr = getStateManager().getCallEventManager();
408 CallEventManager &CEMgr = getStateManager().getCallEventManager();
461 CallEventManager &CEMgr = getStateManager().getCallEventManager();
|
| ExprEngineObjC.cpp | 138 CallEventManager &CEMgr = getStateManager().getCallEventManager();
|
| BugReporterVisitors.cpp | 211 SubEngine *Eng = State->getStateManager().getOwningEngine();
356 ProgramStateManager &StateMgr = BRC.getStateManager();
512 ProgramStateManager &StateMgr = BRC.getStateManager();
790 SubEngine *Eng = N->getState()->getStateManager().getOwningEngine();
892 ProgramStateManager &StateMgr = N->getState()->getStateManager();
[all...] |
| SimpleConstraintManager.cpp | 73 SValBuilder &SVB = state->getStateManager().getSValBuilder();
|
| ExprEngineCallAndReturn.cpp | 241 CallEventManager &CEMgr = getStateManager().getCallEventManager();
478 CallEventManager &CEMgr = getStateManager().getCallEventManager();
[all...] |
| BugReporter.cpp | [all...] |
| ExprEngine.cpp | 202 ProgramStateManager &StateMgr = State->getStateManager();
[all...] |
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| ChrootChecker.cpp | 90 ProgramStateManager &Mgr = state->getStateManager();
100 ProgramStateManager &Mgr = state->getStateManager();
|
| CheckObjCDealloc.cpp | 276 SymbolSet::Factory &F = State->getStateManager().get_context<SymbolSet>();
515 SymbolSet::Factory &F = State->getStateManager().get_context<SymbolSet>();
539 if (State->getStateManager()
870 SymbolSet::Factory &F = State->getStateManager().get_context<SymbolSet>();
[all...] |
| ObjCSuperDeallocChecker.cpp | 246 ASTContext &Ctx = M.getState()->getStateManager().getContext();
|
| CallAndMessageChecker.cpp | 263 FindUninitializedField F(C.getState()->getStateManager().getStoreManager(),
|
| RetainCountChecker.cpp | [all...] |
| MallocChecker.cpp | [all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| BugReporter.h | 505 /// getStateManager - Return the state manager used by the analysis
507 ProgramStateManager &getStateManager();
538 ProgramStateManager& getStateManager() {
539 return BR.getStateManager();
543 return getStateManager().getSValBuilder();
|
