| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ProgramState.h | 108 ProgramStateManager &getStateManager() const { in getStateManager() function
611 return getStateManager().getRegionManager().getVarRegion(D, LC); in getRegion()
619 return getStateManager().ConstraintMgr->assume(this, cast<DefinedSVal>(Cond), in assume()
628 return getStateManager().ConstraintMgr->assumeDual(this, in assume()
638 return getStateManager().StoreMgr->getLValueVar(VD, LC); in getLValue()
643 return getStateManager().StoreMgr->getLValueCompoundLiteral(literal, LC); in getLValue()
647 return getStateManager().StoreMgr->getLValueIvar(D, Base); in getLValue()
651 return getStateManager().StoreMgr->getLValueField(D, Base); in getLValue()
656 StoreManager &SM = *getStateManager().StoreMgr; in getLValue()
668 return getStateManager().StoreMgr->getLValueElement(ElementType, *N, Base); in getLValue()
[all …]
|
| D | CheckerContext.h | 128 ProgramStateManager &getStateManager() { in getStateManager() function
129 return Eng.getStateManager(); in getStateManager()
|
| D | SubEngine.h | 52 virtual ProgramStateManager &getStateManager() = 0;
|
| D | CallEvent.h | 219 getState()->getStateManager().getContext().getSourceManager(); in isInSystemHeader()
948 CallEventManager &Mgr = State->getStateManager().getCallEventManager(); in cloneWithState()
964 CallEventManager &Mgr = State->getStateManager().getCallEventManager(); in Release()
|
| D | SValBuilder.h | 124 ProgramStateManager &getStateManager() { return StateMgr; } in getStateManager() function
|
| D | ExprEngine.h | 253 virtual ProgramStateManager& getStateManager() { return StateMgr; } in getStateManager() function
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | ProgramState.cpp | 37 ProgramStateManager &Mgr = s->getStateManager(); in ProgramStateRelease()
118 getStateManager().StoreMgr->bindCompoundLiteral(getStore(), CL, LC, V); in bindCompoundLiteral()
123 ProgramStateManager &Mgr = getStateManager(); in bindLoc()
134 ProgramStateManager &Mgr = getStateManager(); in bindDefault()
163 ProgramStateManager &Mgr = getStateManager(); in invalidateRegionsImpl()
186 getStateManager().StoreMgr->killBinding(OldStore, LV); in killBinding()
198 getStateManager().StoreMgr->enterStackFrame(getStore(), Call, CalleeCtx); in enterStackFrame()
227 if (const llvm::APSInt *Int = getStateManager() in getSVal()
261 getStateManager().EnvMgr.bindExpr(Env, EnvironmentEntry(S, LCtx), V, in BindExpr()
268 return getStateManager().getPersistentState(NewSt); in BindExpr()
[all …]
|
| D | ConstraintManager.cpp | 24 const MemRegion *R = State->getStateManager().getRegionManager() in getLocFromSymbol()
36 ProgramStateManager &Mgr = State->getStateManager(); in isNull()
|
| D | CallEvent.cpp | 30 ASTContext &Ctx = getState()->getStateManager().getContext(); in getResultType()
231 ASTContext &Ctx = getState()->getStateManager().getContext(); in dump()
299 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
469 ProgramStateManager &StateMgr = getState()->getStateManager(); in getInitialStackFrameContents()
535 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
559 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
713 getState()->getStateManager().getContext().getSourceManager(); in canBeOverridenInSubclass()
824 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
875 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getCaller()
900 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getCaller()
|
| D | ExprEngineCXX.cpp | 141 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXConstructExpr()
185 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXDestructor()
223 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXNewExpr()
|
| D | ExprEngineCallAndReturn.cpp | 170 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in processCallExit()
511 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCallExpr()
|
| D | BugReporterVisitors.cpp | 453 ProgramStateManager &StateMgr = N->getState()->getStateManager(); in trackNullOrUndefValue()
592 ProgramStateManager &StateMgr = state->getStateManager(); in registerStatementVarDecls()
981 CallEventManager &CEMgr = BRC.getStateManager().getCallEventManager(); in VisitNode()
|
| D | ExprEngineObjC.cpp | 146 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitObjCMessage()
|
| D | BugReporter.cpp | 1568 GRBugReporter::getStateManager() { return Eng.getStateManager(); } in getStateManager() function in GRBugReporter
|
| D | ExprEngine.cpp | 1195 SVal recovered = RecoverCastedSymbol(getStateManager(), in processBranch()
|
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| D | BugReporter.h | 461 ProgramStateManager &getStateManager();
485 ProgramStateManager& getStateManager() {
486 return BR.getStateManager();
490 return getStateManager().getSValBuilder();
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | ChrootChecker.cpp | 89 ProgramStateManager &Mgr = state->getStateManager(); in Chroot()
99 ProgramStateManager &Mgr = state->getStateManager(); in Chdir()
|
| D | StackAddrEscapeChecker.cpp | 204 state->getStateManager().getStoreManager().iterBindings(state->getStore(),cb); in checkEndPath()
|
| D | CallAndMessageChecker.cpp | 177 FindUninitializedField F(C.getState()->getStateManager().getStoreManager(), in PreVisitProcessArg()
|
| D | RetainCountChecker.cpp | 1947 CallEventManager &Mgr = CurrSt->getStateManager().getCallEventManager(); in VisitNode()
2237 GetAllocationSite(BRC.getStateManager(), EndN, Sym); in getEndPath()
2325 GetAllocationSite(Ctx.getStateManager(), getErrorNode(), sym); in CFRefLeakReport()
|
| D | MallocChecker.cpp | 1365 ASTContext &ASTC = State->getStateManager().getContext(); in doesNotFreeMemory()
|
| /external/jmonkeyengine/engine/src/core/com/jme3/app/ |
| D | Application.java | 316 public AppStateManager getStateManager() { in getStateManager() method in Application
|