Searched refs:ProgramStateManager (Results 1 - 21 of 21) sorted by relevance
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | ProgramState_Fwd.h | 19 class ProgramStateManager;
|
H A D | Store.h | 35 class ProgramStateManager; 43 ProgramStateManager &StateMgr; 49 StoreManager(ProgramStateManager &stateMgr); 278 // FIXME: Do we need to pass ProgramStateManager anymore? 279 StoreManager *CreateRegionStoreManager(ProgramStateManager& StMgr); 280 StoreManager *CreateFieldsOnlyRegionStoreManager(ProgramStateManager& StMgr);
|
H A D | SubEngine.h | 34 class ProgramStateManager; 52 virtual ProgramStateManager &getStateManager() = 0; 108 /// wantsRegionChangeUpdate - Called by ProgramStateManager to determine if a 112 /// processRegionChanges - Called by ProgramStateManager whenever a change is 139 /// printState - Called by ProgramStateManager to print checker-specific data.
|
H A D | ConstraintManager.h | 151 ConstraintManager* CreateRangeConstraintManager(ProgramStateManager& statemgr,
|
H A D | SValBuilder.h | 45 ProgramStateManager &StateMgr; 63 ProgramStateManager &stateMgr) 124 ProgramStateManager &getStateManager() { return StateMgr; } 327 ProgramStateManager &stateMgr);
|
H A D | ProgramState.h | 42 typedef ConstraintManager* (*ConstraintManagerCreator)(ProgramStateManager&, 44 typedef StoreManager* (*StoreManagerCreator)(ProgramStateManager&); 80 friend class ProgramStateManager; 84 ProgramStateManager *stateMgr; 98 ProgramState(ProgramStateManager *mgr, const Environment& env, 107 /// Return the ProgramStateManager associated with this state. 108 ProgramStateManager &getStateManager() const { 152 // are managed using the ConstraintManager associated with a ProgramStateManager. 433 // ProgramStateManager - Factory object for ProgramStates. 436 class ProgramStateManager { class in namespace:clang::ento [all...] |
H A D | CheckerContext.h | 169 ProgramStateManager &getStateManager() {
|
H A D | ExprEngine.h | 69 ProgramStateManager StateMgr; 272 /// wantsRegionChangeUpdate - Called by ProgramStateManager to determine if a 276 /// processRegionChanges - Called by ProgramStateManager whenever a change is made 285 /// printState - Called by ProgramStateManager to print checker-specific data. 289 ProgramStateManager& getStateManager() override { return StateMgr; }
|
H A D | SVals.h | 38 class ProgramStateManager;
|
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | ProgramState.cpp | 10 // This file implements ProgramState and ProgramStateManager. 37 ProgramStateManager &Mgr = s->getStateManager(); 45 ProgramState::ProgramState(ProgramStateManager *mgr, const Environment& env, 70 ProgramStateManager::ProgramStateManager(ASTContext &Ctx, function in class:ProgramStateManager 83 ProgramStateManager::~ProgramStateManager() { 90 ProgramStateManager::removeDeadBindings(ProgramStateRef state, 115 ProgramStateManager &Mgr = getStateManager(); 126 ProgramStateManager [all...] |
H A D | RegionStore.cpp | 351 RegionStoreManager(ProgramStateManager& mgr, const RegionStoreFeatures &f) 612 StoreManager *ento::CreateRegionStoreManager(ProgramStateManager& StMgr) { 618 ento::CreateFieldsOnlyRegionStoreManager(ProgramStateManager &StMgr) { 682 ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &StateMgr, 951 ProgramStateManager &stateMgr, 2184 ProgramStateManager &stateMgr,
|
H A D | BugReporterVisitors.cpp | 356 ProgramStateManager &StateMgr = BRC.getStateManager(); 512 ProgramStateManager &StateMgr = BRC.getStateManager(); 847 ProgramStateManager &StateMgr = N->getState()->getStateManager(); 1123 ProgramStateManager &StateMgr = state->getStateManager();
|
H A D | Store.cpp | 24 StoreManager::StoreManager(ProgramStateManager &stateMgr)
|
H A D | SimpleSValBuilder.cpp | 30 ProgramStateManager &stateMgr) 54 ProgramStateManager &stateMgr) {
|
H A D | RangeConstraintManager.cpp | 332 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) {
|
H A D | CallEvent.cpp | 490 ProgramStateManager &StateMgr = getState()->getStateManager();
|
H A D | ExprEngine.cpp | 191 ProgramStateManager &StateMgr = State->getStateManager(); 1325 static SVal RecoverCastedSymbol(ProgramStateManager& StateMgr,
|
H A D | BugReporter.cpp | 2762 ProgramStateManager&
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
H A D | ChrootChecker.cpp | 89 ProgramStateManager &Mgr = state->getStateManager(); 99 ProgramStateManager &Mgr = state->getStateManager();
|
H A D | RetainCountChecker.cpp | 2142 GetAllocationSite(ProgramStateManager& StateMgr, const ExplodedNode *N,
|
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
H A D | BugReporter.h | 504 ProgramStateManager &getStateManager(); 535 ProgramStateManager& getStateManager() {
|
Completed in 293 milliseconds