| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState_Fwd.h | 19 class ProgramStateManager;
|
| Store.h | 35 class ProgramStateManager;
43 ProgramStateManager &StateMgr;
49 StoreManager(ProgramStateManager &stateMgr);
278 // FIXME: Do we need to pass ProgramStateManager anymore?
280 CreateRegionStoreManager(ProgramStateManager &StMgr);
282 CreateFieldsOnlyRegionStoreManager(ProgramStateManager &StMgr);
|
| SubEngine.h | 34 class ProgramStateManager;
52 virtual ProgramStateManager &getStateManager() = 0;
126 /// wantsRegionChangeUpdate - Called by ProgramStateManager to determine if a
130 /// processRegionChanges - Called by ProgramStateManager whenever a change is
157 /// printState - Called by ProgramStateManager to print checker-specific data.
|
| SValBuilder.h | 46 ProgramStateManager &StateMgr;
64 ProgramStateManager &stateMgr)
129 ProgramStateManager &getStateManager() { return StateMgr; }
332 ProgramStateManager &stateMgr);
|
| ConstraintManager.h | 181 CreateRangeConstraintManager(ProgramStateManager &statemgr,
|
| ProgramState.h | 44 ProgramStateManager &, SubEngine *);
46 ProgramStateManager &);
82 friend class ProgramStateManager;
86 ProgramStateManager *stateMgr;
100 ProgramState(ProgramStateManager *mgr, const Environment& env,
109 /// Return the ProgramStateManager associated with this state.
110 ProgramStateManager &getStateManager() const {
154 // are managed using the ConstraintManager associated with a ProgramStateManager.
442 // ProgramStateManager - Factory object for ProgramStates.
445 class ProgramStateManager {
[all...] |
| CheckerContext.h | 169 ProgramStateManager &getStateManager() {
|
| ExprEngine.h | 69 ProgramStateManager StateMgr;
288 /// wantsRegionChangeUpdate - Called by ProgramStateManager to determine if a
292 /// processRegionChanges - Called by ProgramStateManager whenever a change is made
301 /// printState - Called by ProgramStateManager to print checker-specific data.
305 ProgramStateManager& getStateManager() override { return StateMgr; }
|
| SVals.h | 40 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 | 347 RegionStoreManager(ProgramStateManager& mgr, const RegionStoreFeatures &f)
609 ento::CreateRegionStoreManager(ProgramStateManager &StMgr) {
615 ento::CreateFieldsOnlyRegionStoreManager(ProgramStateManager &StMgr) {
669 ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &StateMgr,
[all...] |
| BugReporterVisitors.cpp | 356 ProgramStateManager &StateMgr = BRC.getStateManager();
512 ProgramStateManager &StateMgr = BRC.getStateManager();
892 ProgramStateManager &StateMgr = N->getState()->getStateManager();
[all...] |
| Store.cpp | 24 StoreManager::StoreManager(ProgramStateManager &stateMgr)
|
| SimpleSValBuilder.cpp | 30 ProgramStateManager &stateMgr)
54 ProgramStateManager &stateMgr) {
[all...] |
| CallEvent.cpp | 540 ProgramStateManager &StateMgr = getState()->getStateManager();
[all...] |
| RangeConstraintManager.cpp | 363 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) {
|
| ExprEngine.cpp | 202 ProgramStateManager &StateMgr = State->getStateManager();
[all...] |
| BugReporter.cpp | [all...] |
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| ChrootChecker.cpp | 90 ProgramStateManager &Mgr = state->getStateManager();
100 ProgramStateManager &Mgr = state->getStateManager();
|
| RetainCountChecker.cpp | [all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| BugReporter.h | 507 ProgramStateManager &getStateManager();
538 ProgramStateManager& getStateManager() {
|
