| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState_Fwd.h | 19 class ProgramStateManager;
|
| SubEngine.h | 34 class ProgramStateManager;
52 virtual ProgramStateManager &getStateManager() = 0;
99 /// wantsRegionChangeUpdate - Called by ProgramStateManager to determine if a
103 /// processRegionChanges - Called by ProgramStateManager whenever a change is
129 /// printState - Called by ProgramStateManager to print checker-specific data.
|
| Store.h | 35 class ProgramStateManager;
43 ProgramStateManager &StateMgr;
49 StoreManager(ProgramStateManager &stateMgr);
285 // FIXME: Do we need to pass ProgramStateManager anymore?
286 StoreManager *CreateRegionStoreManager(ProgramStateManager& StMgr);
287 StoreManager *CreateFieldsOnlyRegionStoreManager(ProgramStateManager& StMgr);
|
| ConstraintManager.h | 151 ConstraintManager* CreateRangeConstraintManager(ProgramStateManager& statemgr,
|
| SValBuilder.h | 45 ProgramStateManager &StateMgr;
63 ProgramStateManager &stateMgr)
123 ProgramStateManager &getStateManager() { return StateMgr; }
319 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.
429 // ProgramStateManager - Factory object for ProgramStates.
432 class ProgramStateManager {
[all...] |
| CheckerContext.h | 173 ProgramStateManager &getStateManager() {
|
| ExprEngine.h | 70 ProgramStateManager StateMgr;
259 /// wantsRegionChangeUpdate - Called by ProgramStateManager to determine if a
263 /// processRegionChanges - Called by ProgramStateManager whenever a change is made
272 /// printState - Called by ProgramStateManager to print checker-specific data.
276 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,
123 ProgramStateManager &Mgr = getStateManager();
134 ProgramStateManager &Mgr = getStateManager()
[all...] |
| BugReporterVisitors.cpp | 345 ProgramStateManager &StateMgr = BRC.getStateManager();
464 ProgramStateManager &StateMgr = BRC.getStateManager();
763 ProgramStateManager &StateMgr = N->getState()->getStateManager();
[all...] |
| RegionStore.cpp | 335 RegionStoreManager(ProgramStateManager& mgr, const RegionStoreFeatures &f)
576 StoreManager *ento::CreateRegionStoreManager(ProgramStateManager& StMgr) {
582 ento::CreateFieldsOnlyRegionStoreManager(ProgramStateManager &StMgr) {
617 ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &StateMgr,
877 ProgramStateManager &stateMgr,
[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 | 496 ProgramStateManager &StateMgr = getState()->getStateManager();
[all...] |
| ExprEngine.cpp | 177 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 | 516 ProgramStateManager &getStateManager();
548 ProgramStateManager& getStateManager() {
|
