| /llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ProgramState.cpp | 9 // This file implements ProgramState and ProgramStateManager.
39 ProgramStateManager &Mgr = s->getStateManager(); in ProgramStateRelease()
47 ProgramState::ProgramState(ProgramStateManager *mgr, const Environment& env, in ProgramState()
72 ProgramStateManager::ProgramStateManager(ASTContext &Ctx, in ProgramStateManager() function in ProgramStateManager
85 ProgramStateManager::~ProgramStateManager() { in ~ProgramStateManager()
91 ProgramStateRef ProgramStateManager::removeDeadBindingsFromEnvironmentAndStore( in removeDeadBindingsFromEnvironmentAndStore()
118 ProgramStateManager &Mgr = getStateManager(); in bindLoc()
131 ProgramStateManager in bindDefaultInitial()
[all...] |
| H A D | SMTConstraintManager.cpp | 15 ento::CreateZ3ConstraintManager(ProgramStateManager &StMgr, ExprEngine *Eng) { in CreateZ3ConstraintManager()
|
| H A D | CheckerContext.cpp | 144 ProgramStateManager &Mgr = State->getStateManager(); in evalComparison()
|
| H A D | SimpleSValBuilder.cpp | 68 ProgramStateManager &stateMgr) in SimpleSValBuilder()
103 ProgramStateManager &stateMgr) { in createSimpleSValBuilder()
371 ProgramStateManager &StateMgr = State->getStateManager(); in tryRearrange()
|
| H A D | RegionStore.cpp | 431 RegionStoreManager(ProgramStateManager &mgr)
731 ento::CreateRegionStoreManager(ProgramStateManager &StMgr) {
782 ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &StateMgr,
1047 InvalidateRegionsWorker(RegionStoreManager &rm, ProgramStateManager &stateMgr, in VisitCluster()
2839 ProgramStateManager &stateMgr, in VisitBinding()
|
| H A D | Store.cpp | 42 StoreManager::StoreManager(ProgramStateManager &stateMgr) in StoreManager()
|
| H A D | BugReporterVisitors.cpp | 325 ProgramStateManager &Mgr = N->getState()->getStateManager(); in wasRegionOfInterestModifiedAt()
1078 ProgramStateManager &StateMgr = BRC.getStateManager(); in visitNodeInitial()
1573 ProgramStateManager &StateMgr = BRC.getStateManager(); in VisitNode()
|
| H A D | SValBuilder.cpp | 53 ProgramStateManager &stateMgr) in SValBuilder()
|
| H A D | CallEvent.cpp | 825 ProgramStateManager &StateMgr = getState()->getStateManager(); in getInitialStackFrameContents()
|
| H A D | BugReporter.cpp | 2501 ProgramStateManager &PathSensitiveBugReporter::getStateManager() const { in FlushReports()
|
| H A D | RangeConstraintManager.cpp | 2275 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, in getConstraintMap()
|
| H A D | ExprEngine.cpp | 348 ProgramStateManager &StateMgr = State->getStateManager(); in createTemporaryRegionIfNeeded()
|
| /llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ConstraintManager.h | 34 class ProgramStateManager; variable
188 CreateRangeConstraintManager(ProgramStateManager &statemgr,
192 CreateZ3ConstraintManager(ProgramStateManager &statemgr,
|
| H A D | Store.h | 47 class ProgramStateManager; variable
56 ProgramStateManager &StateMgr;
62 StoreManager(ProgramStateManager &stateMgr);
320 // FIXME: Do we need to pass ProgramStateManager anymore?
322 CreateRegionStoreManager(ProgramStateManager &StMgr);
|
| H A D | SValBuilder.h | 50 class ProgramStateManager; variable
68 ProgramStateManager &StateMgr;
80 ProgramStateManager &stateMgr);
151 ProgramStateManager &getStateManager() { return StateMgr; } in getStateManager()
414 ProgramStateManager &stateMgr);
|
| H A D | ProgramState.h | 43 ProgramStateManager &, ExprEngine *);
45 ProgramStateManager &);
78 friend class ProgramStateManager;
83 ProgramStateManager *stateMgr;
134 ProgramState(ProgramStateManager *mgr, const Environment& env,
145 /// Return the ProgramStateManager associated with this state.
146 ProgramStateManager &getStateManager() const {
193 // are managed using the ConstraintManager associated with a ProgramStateManager.
494 // ProgramStateManager - Factory object for ProgramStates.
497 class ProgramStateManager {
79 friend class ProgramStateManager; global() variable
[all...] |
| H A D | ProgramState_Fwd.h | 18 class ProgramStateManager; variable
|
| H A D | ExprEngine.h | 91 class ProgramStateManager; variable
151 ProgramStateManager StateMgr;
392 /// processRegionChanges - Called by ProgramStateManager whenever a change is made
409 /// printJson - Called by ProgramStateManager to print checker-specific data.
414 ProgramStateManager &getStateManager() { return StateMgr; } in getConstraintManager()
|
| H A D | CheckerContext.h | 124 ProgramStateManager &getStateManager() { in getStateManager()
|
| /llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ChrootChecker.cpp | |
| H A D | StdLibraryFunctionsChecker.cpp | 908 ProgramStateManager &Mgr = State->getStateManager(); in getBVF()
1095 ProgramStateManager &Mgr = State->getStateManager(); in describeArgumentValue()
1136 ProgramStateManager &Mgr = State->getStateManager(); in apply()
|
| /llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | BugReporter.h | 701 ProgramStateManager &getStateManager() const;
729 ProgramStateManager& getStateManager() const { in getStateManager()
|
| /llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountDiagnostics.cpp | 638 static Bindings getAllVarBindingsForSymbol(ProgramStateManager &Manager, in getAllVarBindingsForSymbol()
668 static AllocationInfo GetAllocationSite(ProgramStateManager &StateMgr, in GetAllocationSite()
|