/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
D | ProgramState.h | 110 ProgramStateManager &getStateManager() const { in getStateManager() function 640 return getStateManager().getRegionManager().getVarRegion(D, LC); in getRegion() 648 return getStateManager().ConstraintMgr in assume() 657 return getStateManager().ConstraintMgr in assume() 671 return getStateManager().ConstraintMgr->assumeWithinInclusiveRange( in assumeWithinInclusiveRange() 684 return getStateManager().ConstraintMgr in assumeWithinInclusiveRange() 696 return getStateManager().StoreMgr->getLValueVar(VD, LC); in getLValue() 701 return getStateManager().StoreMgr->getLValueCompoundLiteral(literal, LC); in getLValue() 705 return getStateManager().StoreMgr->getLValueIvar(D, Base); in getLValue() 709 return getStateManager().StoreMgr->getLValueField(D, Base); in getLValue() [all …]
|
D | CheckerContext.h | 169 ProgramStateManager &getStateManager() { in getStateManager() function 170 return Eng.getStateManager(); in getStateManager()
|
D | SubEngine.h | 52 virtual ProgramStateManager &getStateManager() = 0;
|
D | CallEvent.h | 243 getState()->getStateManager().getContext().getSourceManager(); in isInSystemHeader() 1091 CallEventManager &Mgr = State->getStateManager().getCallEventManager(); in cloneWithState() 1107 CallEventManager &Mgr = State->getStateManager().getCallEventManager(); in Release()
|
D | SValBuilder.h | 129 ProgramStateManager &getStateManager() { return StateMgr; } in getStateManager() function
|
D | ExprEngine.h | 305 ProgramStateManager& getStateManager() override { return StateMgr; } in getStateManager() function
|
/external/clang/lib/StaticAnalyzer/Core/ |
D | ProgramState.cpp | 37 ProgramStateManager &Mgr = s->getStateManager(); in ProgramStateRelease() 115 ProgramStateManager &Mgr = getStateManager(); in bindLoc() 126 ProgramStateManager &Mgr = getStateManager(); in bindDefault() 176 ProgramStateManager &Mgr = getStateManager(); in invalidateRegionsImpl() 219 getStateManager().StoreMgr->killBinding(OldStore, LV); in killBinding() 231 getStateManager().StoreMgr->enterStackFrame(getStore(), Call, CalleeCtx); in enterStackFrame() 260 if (const llvm::APSInt *Int = getStateManager() in getSVal() 294 getStateManager().EnvMgr.bindExpr(Env, EnvironmentEntry(S, LCtx), V, in BindExpr() 301 return getStateManager().getPersistentState(NewSt); in BindExpr() 314 ProgramStateManager &SM = getStateManager(); in assumeInBound() [all …]
|
D | CallEvent.cpp | 33 ASTContext &Ctx = getState()->getStateManager().getContext(); in getResultType() 216 CD.II = &getState()->getStateManager().getContext().Idents.get(CD.FuncName); in isCalled() 247 ASTContext &Ctx = getState()->getStateManager().getContext(); in dump() 350 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() 540 ProgramStateManager &StateMgr = getState()->getStateManager(); in getInitialStackFrameContents() 611 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() 652 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() 843 getState()->getStateManager().getContext().getSourceManager(); in canBeOverridenInSubclass() 1022 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents() 1073 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in getCaller() [all …]
|
D | ExprEngineCXX.cpp | 94 SValBuilder &SVB = State->getStateManager().getSValBuilder(); in makeZeroElementRegion() 290 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXConstructExpr() 377 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXDestructor() 408 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXNewAllocatorCall() 461 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXNewExpr()
|
D | ConstraintManager.cpp | 23 const MemRegion *R = State->getStateManager().getRegionManager() in getLocFromSymbol()
|
D | LoopWidening.cpp | 53 MemRegionManager &MRMgr = PrevState->getStateManager().getRegionManager(); in getWidenedLoopState()
|
D | BugReporterVisitors.cpp | 211 SubEngine *Eng = State->getStateManager().getOwningEngine(); in addVisitorIfNecessary() 356 ProgramStateManager &StateMgr = BRC.getStateManager(); in visitNodeMaybeUnsuppress() 512 ProgramStateManager &StateMgr = BRC.getStateManager(); in VisitNode() 790 SubEngine *Eng = N->getState()->getStateManager().getOwningEngine(); in SuppressInlineDefensiveChecksVisitor() 892 ProgramStateManager &StateMgr = N->getState()->getStateManager(); in getLocationRegionIfReference() 1173 ProgramStateManager &StateMgr = state->getStateManager(); in registerStatementVarDecls() 1658 CallEventManager &CEMgr = BRC.getStateManager().getCallEventManager(); in VisitNode()
|
D | ExprEngineObjC.cpp | 138 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitObjCMessage()
|
D | ExprEngineCallAndReturn.cpp | 241 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in processCallExit() 478 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCallExpr()
|
D | SimpleConstraintManager.cpp | 73 SValBuilder &SVB = state->getStateManager().getSValBuilder(); in assume()
|
D | ExprEngine.cpp | 202 ProgramStateManager &StateMgr = State->getStateManager(); in createTemporaryRegionIfNeeded() 1632 SVal recovered = RecoverCastedSymbol(getStateManager(), in processBranch()
|
D | BugReporter.cpp | 2740 GRBugReporter::getStateManager() { return Eng.getStateManager(); } in getStateManager() function in GRBugReporter
|
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
D | BugReporter.h | 507 ProgramStateManager &getStateManager(); 538 ProgramStateManager& getStateManager() { 539 return BR.getStateManager(); 543 return getStateManager().getSValBuilder();
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
D | ChrootChecker.cpp | 90 ProgramStateManager &Mgr = state->getStateManager(); in Chroot() 100 ProgramStateManager &Mgr = state->getStateManager(); in Chdir()
|
D | CheckObjCDealloc.cpp | 276 SymbolSet::Factory &F = State->getStateManager().get_context<SymbolSet>(); in checkBeginFunction() 515 SymbolSet::Factory &F = State->getStateManager().get_context<SymbolSet>(); in diagnoseMissingReleases() 539 if (State->getStateManager() in diagnoseMissingReleases() 870 SymbolSet::Factory &F = State->getStateManager().get_context<SymbolSet>(); in removeValueRequiringRelease()
|
D | ObjCSuperDeallocChecker.cpp | 246 ASTContext &Ctx = M.getState()->getStateManager().getContext(); in isSuperDeallocMessage()
|
D | StackAddrEscapeChecker.cpp | 217 state->getStateManager().getStoreManager().iterBindings(state->getStore(),cb); in checkEndFunction()
|
D | CallAndMessageChecker.cpp | 263 FindUninitializedField F(C.getState()->getStateManager().getStoreManager(), in PreVisitProcessArg()
|
D | RetainCountChecker.cpp | 1963 CallEventManager &Mgr = CurrSt->getStateManager().getCallEventManager(); in VisitNode() 2317 GetAllocationSite(BRC.getStateManager(), EndN, Sym); in getEndPath() 2410 GetAllocationSite(Ctx.getStateManager(), getErrorNode(), sym); in CFRefLeakReport()
|
D | MallocChecker.cpp | 2453 ASTContext &ASTC = State->getStateManager().getContext(); in mayFreeAnyEscapedMemoryOrIsModeledExplicitly()
|