| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState_Fwd.h | 19 class ProgramStateManager;
|
| 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.
|
| Store.h | 35 class ProgramStateManager;
43 ProgramStateManager &StateMgr;
49 StoreManager(ProgramStateManager &stateMgr);
284 // FIXME: Do we need to pass ProgramStateManager anymore?
285 StoreManager *CreateRegionStoreManager(ProgramStateManager& StMgr);
286 StoreManager *CreateFieldsOnlyRegionStoreManager(ProgramStateManager& StMgr);
|
| ConstraintManager.h | 151 ConstraintManager* CreateRangeConstraintManager(ProgramStateManager& statemgr,
|
| SValBuilder.h | 45 ProgramStateManager &StateMgr;
63 ProgramStateManager &stateMgr)
124 ProgramStateManager &getStateManager() { return StateMgr; }
326 ProgramStateManager &stateMgr);
|
| 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.
434 // ProgramStateManager - Factory object for ProgramStates.
437 class ProgramStateManager {
[all...] |
| CheckerContext.h | 169 ProgramStateManager &getStateManager() {
|
| ExprEngine.h | 70 ProgramStateManager StateMgr;
268 /// wantsRegionChangeUpdate - Called by ProgramStateManager to determine if a
272 /// processRegionChanges - Called by ProgramStateManager whenever a change is made
281 /// printState - Called by ProgramStateManager to print checker-specific data.
285 virtual ProgramStateManager& getStateManager() { return StateMgr; }
|
| SVals.h | 38 class ProgramStateManager;
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| 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,
83 ProgramStateManager::~ProgramStateManager() {
90 ProgramStateManager::removeDeadBindings(ProgramStateRef state,
115 ProgramStateManager &Mgr = getStateManager();
126 ProgramStateManager &Mgr = getStateManager()
[all...] |
| RegionStore.cpp | 356 RegionStoreManager(ProgramStateManager& mgr, const RegionStoreFeatures &f)
609 StoreManager *ento::CreateRegionStoreManager(ProgramStateManager& StMgr) {
615 ento::CreateFieldsOnlyRegionStoreManager(ProgramStateManager &StMgr) {
679 ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &StateMgr,
[all...] |
| BugReporterVisitors.cpp | 356 ProgramStateManager &StateMgr = BRC.getStateManager();
512 ProgramStateManager &StateMgr = BRC.getStateManager();
847 ProgramStateManager &StateMgr = N->getState()->getStateManager();
[all...] |
| Store.cpp | 24 StoreManager::StoreManager(ProgramStateManager &stateMgr)
|
| SimpleSValBuilder.cpp | 30 ProgramStateManager &stateMgr)
54 ProgramStateManager &stateMgr) {
[all...] |
| RangeConstraintManager.cpp | 330 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) {
|
| CallEvent.cpp | 482 ProgramStateManager &StateMgr = getState()->getStateManager();
[all...] |
| ExprEngine.cpp | 189 ProgramStateManager &StateMgr = State->getStateManager();
[all...] |
| BugReporter.cpp | [all...] |
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| ChrootChecker.cpp | 89 ProgramStateManager &Mgr = state->getStateManager();
99 ProgramStateManager &Mgr = state->getStateManager();
|
| RetainCountChecker.cpp | [all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| BugReporter.h | 511 ProgramStateManager &getStateManager();
543 ProgramStateManager& getStateManager() {
|
