| /external/clang/lib/StaticAnalyzer/Core/ |
| D | ProgramState.cpp | 37 ProgramStateManager &Mgr = s->getStateManager(); in ProgramStateRelease()
45 ProgramState::ProgramState(ProgramStateManager *mgr, const Environment& env, in ProgramState()
70 ProgramStateManager::ProgramStateManager(ASTContext &Ctx, in ProgramStateManager() function in ProgramStateManager
83 ProgramStateManager::~ProgramStateManager() { in ~ProgramStateManager()
90 ProgramStateManager::removeDeadBindings(ProgramStateRef state, in removeDeadBindings()
115 ProgramStateManager &Mgr = getStateManager(); in bindLoc()
126 ProgramStateManager &Mgr = getStateManager(); in bindDefault()
176 ProgramStateManager &Mgr = getStateManager(); in invalidateRegionsImpl()
314 ProgramStateManager &SM = getStateManager(); in assumeInBound()
364 ProgramStateRef ProgramStateManager::getInitialState(const LocationContext *InitLoc) { in getInitialState()
[all …]
|
| D | RegionStore.cpp | 347 RegionStoreManager(ProgramStateManager& mgr, const RegionStoreFeatures &f) in RegionStoreManager()
609 ento::CreateRegionStoreManager(ProgramStateManager &StMgr) { in CreateRegionStoreManager()
615 ento::CreateFieldsOnlyRegionStoreManager(ProgramStateManager &StMgr) { in CreateFieldsOnlyRegionStoreManager()
669 ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &StateMgr, in ClusterAnalysis()
938 ProgramStateManager &stateMgr, in invalidateRegionsWorker()
2281 ProgramStateManager &stateMgr, in removeDeadBindingsWorker()
|
| D | BugReporterVisitors.cpp | 356 ProgramStateManager &StateMgr = BRC.getStateManager(); in visitNodeMaybeUnsuppress()
512 ProgramStateManager &StateMgr = BRC.getStateManager(); in VisitNode()
892 ProgramStateManager &StateMgr = N->getState()->getStateManager(); in getLocationRegionIfReference()
1173 ProgramStateManager &StateMgr = state->getStateManager(); in registerStatementVarDecls()
|
| D | SimpleSValBuilder.cpp | 30 ProgramStateManager &stateMgr) in SimpleSValBuilder()
54 ProgramStateManager &stateMgr) { in createSimpleSValBuilder()
|
| D | Store.cpp | 24 StoreManager::StoreManager(ProgramStateManager &stateMgr) in StoreManager()
|
| D | RangeConstraintManager.cpp | 363 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) { in CreateRangeConstraintManager()
|
| D | CallEvent.cpp | 540 ProgramStateManager &StateMgr = getState()->getStateManager(); in getInitialStackFrameContents()
|
| D | ExprEngine.cpp | 202 ProgramStateManager &StateMgr = State->getStateManager(); in createTemporaryRegionIfNeeded()
1480 static SVal RecoverCastedSymbol(ProgramStateManager& StateMgr, in RecoverCastedSymbol()
|
| D | BugReporter.cpp | 2739 ProgramStateManager&
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | Store.h | 35 class ProgramStateManager; variable
43 ProgramStateManager &StateMgr;
49 StoreManager(ProgramStateManager &stateMgr);
280 CreateRegionStoreManager(ProgramStateManager &StMgr);
282 CreateFieldsOnlyRegionStoreManager(ProgramStateManager &StMgr);
|
| D | ProgramState.h | 44 ProgramStateManager &, SubEngine *);
46 ProgramStateManager &);
82 friend class ProgramStateManager; variable
86 ProgramStateManager *stateMgr;
100 ProgramState(ProgramStateManager *mgr, const Environment& env,
110 ProgramStateManager &getStateManager() const { in getStateManager()
445 class ProgramStateManager {
478 ProgramStateManager(ASTContext &Ctx,
484 ~ProgramStateManager();
|
| D | SValBuilder.h | 46 ProgramStateManager &StateMgr;
64 ProgramStateManager &stateMgr) in SValBuilder()
129 ProgramStateManager &getStateManager() { return StateMgr; } in getStateManager()
332 ProgramStateManager &stateMgr);
|
| D | SubEngine.h | 34 class ProgramStateManager; variable
52 virtual ProgramStateManager &getStateManager() = 0;
|
| D | ProgramState_Fwd.h | 19 class ProgramStateManager; variable
|
| D | ConstraintManager.h | 181 CreateRangeConstraintManager(ProgramStateManager &statemgr,
|
| D | CheckerContext.h | 169 ProgramStateManager &getStateManager() { in getStateManager()
|
| D | ExprEngine.h | 69 ProgramStateManager StateMgr;
305 ProgramStateManager& getStateManager() override { return StateMgr; } in getStateManager()
|
| D | SVals.h | 40 class ProgramStateManager; variable
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | ChrootChecker.cpp | 90 ProgramStateManager &Mgr = state->getStateManager(); in Chroot()
100 ProgramStateManager &Mgr = state->getStateManager(); in Chdir()
|
| D | RetainCountChecker.cpp | 2214 GetAllocationSite(ProgramStateManager& StateMgr, const ExplodedNode *N, in GetAllocationSite()
|
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| D | BugReporter.h | 507 ProgramStateManager &getStateManager();
538 ProgramStateManager& getStateManager() {
|