| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ExprEngine.h | 69 ProgramStateManager StateMgr; variable
305 ProgramStateManager& getStateManager() override { return StateMgr; } in getStateManager()
307 StoreManager& getStoreManager() { return StateMgr.getStoreManager(); } in getStoreManager()
310 return StateMgr.getConstraintManager(); in getConstraintManager()
315 return StateMgr.getBasicVals(); in getBasicVals()
|
| D | SValBuilder.h | 46 ProgramStateManager &StateMgr; variable
68 StateMgr(stateMgr), in SValBuilder()
129 ProgramStateManager &getStateManager() { return StateMgr; } in getStateManager()
|
| D | Store.h | 43 ProgramStateManager &StateMgr; variable
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| D | Iterator.cpp | 214 auto &StateMgr = State->getStateManager(); in createIteratorPosition() local
215 auto &SymMgr = StateMgr.getSymbolManager(); in createIteratorPosition()
216 auto &ACtx = StateMgr.getContext(); in createIteratorPosition()
|
| /external/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ExprEngine.h | 153 ProgramStateManager StateMgr; variable
415 ProgramStateManager &getStateManager() { return StateMgr; } in getStateManager()
417 StoreManager &getStoreManager() { return StateMgr.getStoreManager(); } in getStoreManager()
420 return StateMgr.getConstraintManager(); in getConstraintManager()
425 return StateMgr.getBasicVals(); in getBasicVals()
|
| D | SValBuilder.h | 67 ProgramStateManager &StateMgr; variable
88 StateMgr(stateMgr), ArrayIndexTy(context.LongLongTy), in SValBuilder()
158 ProgramStateManager &getStateManager() { return StateMgr; } in getStateManager()
|
| D | Store.h | 56 ProgramStateManager &StateMgr; variable
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| D | SValBuilder.cpp | 394 const unsigned MaxComp = StateMgr.getOwningEngine() in makeSymExprValNN()
577 StoreManager &storeMgr = StateMgr.getStoreManager(); in evalCast()
597 val = StateMgr.ArrayToPointer(val.castAs<Loc>(), elemTy); in evalCast()
653 StoreManager &storeMgr = StateMgr.getStoreManager(); in evalCast()
|
| D | Store.cpp | 43 : svalBuilder(stateMgr.getSValBuilder()), StateMgr(stateMgr), in StoreManager()
75 ASTContext &Ctx = StateMgr.getContext(); in castRegion()
|
| D | ExprEngine.cpp | 210 StateMgr(getContext(), mgr.getStoreManagerCreator(), in ExprEngine()
213 SymMgr(StateMgr.getSymbolManager()), in ExprEngine()
214 MRMgr(StateMgr.getRegionManager()), in ExprEngine()
215 svalBuilder(StateMgr.getSValBuilder()), in ExprEngine()
233 ProgramStateRef state = StateMgr.getInitialState(InitLoc); in getInitialState()
336 ProgramStateManager &StateMgr = State->getStateManager(); in createTemporaryRegionIfNeeded() local
337 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in createTemporaryRegionIfNeeded()
338 StoreManager &StoreMgr = StateMgr.getStoreManager(); in createTemporaryRegionIfNeeded()
731 CleanedState = StateMgr.removeDeadBindingsFromEnvironmentAndStore( in removeDead()
754 assert(StateMgr.haveEqualEnvironments(CheckerState, Pred->getState()) && in removeDead()
[all …]
|
| D | SimpleSValBuilder.cpp | 449 ProgramStateManager &StateMgr = State->getStateManager(); in tryRearrange() local
450 SValBuilder &SVB = StateMgr.getSValBuilder(); in tryRearrange()
456 StateMgr.getOwningEngine().getAnalysisManager().getAnalyzerOptions(); in tryRearrange()
1120 Result = StateMgr.getStoreManager().evalDerivedToBase( in evalBinOpLN()
|
| D | CallEvent.cpp | 791 ProgramStateManager &StateMgr = getState()->getStateManager(); in getInitialStackFrameContents() local
792 SValBuilder &SVB = StateMgr.getSValBuilder(); in getInitialStackFrameContents()
806 ThisVal = StateMgr.getStoreManager().attemptDownCast(ThisVal, Ty, Failed); in getInitialStackFrameContents()
|
| D | RegionStore.cpp | 385 ExprEngine &Eng = StateMgr.getOwningEngine(); in RegionStoreManager()
728 ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &StateMgr, in ClusterAnalysis() argument
730 : RM(rm), Ctx(StateMgr.getContext()), in ClusterAnalysis()
731 svalBuilder(StateMgr.getSValBuilder()), B(std::move(b)) {} in ClusterAnalysis()
1347 InvalidateRegionsWorker W(*this, StateMgr, B, Ex, Count, LCtx, IS, ITraits, in invalidateRegions()
2603 RemoveDeadBindingsWorker W(*this, StateMgr, B, SymReaper, LCtx); in removeDeadBindings()
|
| D | BugReporterVisitors.cpp | 1147 ProgramStateManager &StateMgr = BRC.getStateManager(); in visitNodeMaybeUnsuppress() local
1148 CallEventManager &CallMgr = StateMgr.getCallEventManager(); in visitNodeMaybeUnsuppress()
1421 ProgramStateManager &StateMgr = BRC.getStateManager(); in VisitNode() local
1422 CallEventManager &CallMgr = StateMgr.getCallEventManager(); in VisitNode()
1834 ProgramStateManager &StateMgr = N->getState()->getStateManager(); in getLocationRegionIfReference() local
1835 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in getLocationRegionIfReference()
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | BugReporterVisitors.cpp | 356 ProgramStateManager &StateMgr = BRC.getStateManager(); in visitNodeMaybeUnsuppress() local
357 CallEventManager &CallMgr = StateMgr.getCallEventManager(); in visitNodeMaybeUnsuppress()
512 ProgramStateManager &StateMgr = BRC.getStateManager(); in VisitNode() local
513 CallEventManager &CallMgr = StateMgr.getCallEventManager(); in VisitNode()
892 ProgramStateManager &StateMgr = N->getState()->getStateManager(); in getLocationRegionIfReference() local
893 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in getLocationRegionIfReference()
1173 ProgramStateManager &StateMgr = state->getStateManager(); in registerStatementVarDecls() local
1178 StateMgr.getRegionManager().getVarRegion(VD, N->getLocationContext()); in registerStatementVarDecls()
|
| D | ExprEngine.cpp | 79 StateMgr(getContext(), mgr.getStoreManagerCreator(), in ExprEngine()
82 SymMgr(StateMgr.getSymbolManager()), in ExprEngine()
83 svalBuilder(StateMgr.getSValBuilder()), in ExprEngine()
106 ProgramStateRef state = StateMgr.getInitialState(InitLoc); in getInitialState()
202 ProgramStateManager &StateMgr = State->getStateManager(); in createTemporaryRegionIfNeeded() local
203 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in createTemporaryRegionIfNeeded()
204 StoreManager &StoreMgr = StateMgr.getStoreManager(); in createTemporaryRegionIfNeeded()
378 CleanedState = StateMgr.removeDeadBindings(CleanedState, SFC, SymReaper); in removeDead()
409 assert(StateMgr.haveEqualEnvironments(CheckerState, Pred->getState()) && in removeDead()
412 assert(StateMgr.haveEqualStores(CheckerState, Pred->getState()) && in removeDead()
[all …]
|
| D | SValBuilder.cpp | 514 StoreManager &storeMgr = StateMgr.getStoreManager(); in evalCast()
534 val = StateMgr.ArrayToPointer(val.castAs<Loc>(), elemTy); in evalCast()
590 StoreManager &storeMgr = StateMgr.getStoreManager(); in evalCast()
|
| D | Store.cpp | 25 : svalBuilder(stateMgr.getSValBuilder()), StateMgr(stateMgr), in StoreManager()
64 ASTContext &Ctx = StateMgr.getContext(); in castRegion()
|
| D | CallEvent.cpp | 540 ProgramStateManager &StateMgr = getState()->getStateManager(); in getInitialStackFrameContents() local
541 SValBuilder &SVB = StateMgr.getSValBuilder(); in getInitialStackFrameContents()
555 ThisVal = StateMgr.getStoreManager().evalDynamicCast(ThisVal, Ty, Failed); in getInitialStackFrameContents()
|
| D | RegionStore.cpp | 351 if (SubEngine *Eng = StateMgr.getOwningEngine()) { in RegionStoreManager()
669 ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &StateMgr, in ClusterAnalysis() argument
671 : RM(rm), Ctx(StateMgr.getContext()), in ClusterAnalysis()
672 svalBuilder(StateMgr.getSValBuilder()), B(std::move(b)) {} in ClusterAnalysis()
1262 invalidateRegionsWorker W(*this, StateMgr, B, Ex, Count, LCtx, IS, ITraits, in invalidateRegions()
2417 removeDeadBindingsWorker W(*this, StateMgr, B, SymReaper, LCtx); in removeDeadBindings()
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| D | RetainCountDiagnostics.cpp | 630 static AllocationInfo GetAllocationSite(ProgramStateManager &StateMgr, in GetAllocationSite() argument
649 StateMgr.iterBindings(St, FB); in GetAllocationSite()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | RetainCountChecker.cpp | 2214 GetAllocationSite(ProgramStateManager& StateMgr, const ExplodedNode *N, in GetAllocationSite() argument
2233 StateMgr.iterBindings(St, FB); in GetAllocationSite()
|