| /aosp_15_r20/external/clang/lib/StaticAnalyzer/Core/ |
| H A 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 …]
|
| /aosp_15_r20/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | Store.h | 35 class ProgramStateManager; variable
43 ProgramStateManager &StateMgr;
49 StoreManager(ProgramStateManager &stateMgr);
280 CreateRegionStoreManager(ProgramStateManager &StMgr);
282 CreateFieldsOnlyRegionStoreManager(ProgramStateManager &StMgr);
|
| H A 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();
|
| H A D | SValBuilder.h | 46 ProgramStateManager &StateMgr;
64 ProgramStateManager &stateMgr) in SValBuilder()
129 ProgramStateManager &getStateManager() { return StateMgr; } in getStateManager()
332 ProgramStateManager &stateMgr);
|
| H A D | SubEngine.h | 34 class ProgramStateManager; variable
52 virtual ProgramStateManager &getStateManager() = 0;
|
| /aosp_15_r20/prebuilts/clang/host/linux-x86/clang-r530567/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ProgramState.h | 43 ProgramStateManager &, ExprEngine *);
45 ProgramStateManager &);
79 friend class ProgramStateManager; variable
84 ProgramStateManager *stateMgr;
135 ProgramState(ProgramStateManager *mgr, const Environment& env,
147 ProgramStateManager &getStateManager() const { in getStateManager()
503 class ProgramStateManager {
536 ProgramStateManager(ASTContext &Ctx,
542 ~ProgramStateManager();
|
| D | Store.h | 47 class ProgramStateManager; variable
56 ProgramStateManager &StateMgr;
62 StoreManager(ProgramStateManager &stateMgr);
319 CreateRegionStoreManager(ProgramStateManager &StMgr);
|
| D | SValBuilder.h | 50 class ProgramStateManager; variable
68 ProgramStateManager &StateMgr;
80 ProgramStateManager &stateMgr);
151 ProgramStateManager &getStateManager() { return StateMgr; } in getStateManager()
417 ProgramStateManager &stateMgr);
|
| D | ConstraintManager.h | 34 class ProgramStateManager; variable
188 CreateRangeConstraintManager(ProgramStateManager &statemgr,
192 CreateZ3ConstraintManager(ProgramStateManager &statemgr,
|
| D | ExprEngine.h | 91 class ProgramStateManager; variable
151 ProgramStateManager StateMgr;
408 ProgramStateManager &getStateManager() { return StateMgr; } in getStateManager()
|
| /aosp_15_r20/prebuilts/clang/host/linux-x86/clang-r530567b/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ProgramState.h | 43 ProgramStateManager &, ExprEngine *);
45 ProgramStateManager &);
79 friend class ProgramStateManager; variable
84 ProgramStateManager *stateMgr;
135 ProgramState(ProgramStateManager *mgr, const Environment& env,
147 ProgramStateManager &getStateManager() const { in getStateManager()
503 class ProgramStateManager {
536 ProgramStateManager(ASTContext &Ctx,
542 ~ProgramStateManager();
|
| D | Store.h | 47 class ProgramStateManager; variable
56 ProgramStateManager &StateMgr;
62 StoreManager(ProgramStateManager &stateMgr);
319 CreateRegionStoreManager(ProgramStateManager &StMgr);
|
| D | SValBuilder.h | 50 class ProgramStateManager; variable
68 ProgramStateManager &StateMgr;
80 ProgramStateManager &stateMgr);
151 ProgramStateManager &getStateManager() { return StateMgr; } in getStateManager()
417 ProgramStateManager &stateMgr);
|
| D | ConstraintManager.h | 34 class ProgramStateManager; variable
188 CreateRangeConstraintManager(ProgramStateManager &statemgr,
192 CreateZ3ConstraintManager(ProgramStateManager &statemgr,
|
| D | ExprEngine.h | 91 class ProgramStateManager; variable
151 ProgramStateManager StateMgr;
408 ProgramStateManager &getStateManager() { return StateMgr; } in getStateManager()
|
| /aosp_15_r20/prebuilts/clang/host/linux-x86/clang-r522817/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ProgramState.h | 43 ProgramStateManager &, ExprEngine *);
45 ProgramStateManager &);
79 friend class ProgramStateManager; variable
84 ProgramStateManager *stateMgr;
135 ProgramState(ProgramStateManager *mgr, const Environment& env,
147 ProgramStateManager &getStateManager() const { in getStateManager()
503 class ProgramStateManager {
536 ProgramStateManager(ASTContext &Ctx,
542 ~ProgramStateManager();
|
| D | Store.h | 47 class ProgramStateManager; variable
56 ProgramStateManager &StateMgr;
62 StoreManager(ProgramStateManager &stateMgr);
319 CreateRegionStoreManager(ProgramStateManager &StMgr);
|
| D | SValBuilder.h | 50 class ProgramStateManager; variable
68 ProgramStateManager &StateMgr;
80 ProgramStateManager &stateMgr);
147 ProgramStateManager &getStateManager() { return StateMgr; } in getStateManager()
413 ProgramStateManager &stateMgr);
|
| D | ConstraintManager.h | 34 class ProgramStateManager; variable
188 CreateRangeConstraintManager(ProgramStateManager &statemgr,
192 CreateZ3ConstraintManager(ProgramStateManager &statemgr,
|
| D | ExprEngine.h | 91 class ProgramStateManager; variable
151 ProgramStateManager StateMgr;
418 ProgramStateManager &getStateManager() { return StateMgr; } in getStateManager()
|
| /aosp_15_r20/prebuilts/clang/host/linux-x86/clang-r536225/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ProgramState.h | 43 ProgramStateManager &, ExprEngine *);
45 ProgramStateManager &);
79 friend class ProgramStateManager; variable
84 ProgramStateManager *stateMgr;
135 ProgramState(ProgramStateManager *mgr, const Environment& env,
147 ProgramStateManager &getStateManager() const { in getStateManager()
505 class ProgramStateManager {
538 ProgramStateManager(ASTContext &Ctx,
544 ~ProgramStateManager();
|
| D | Store.h | 47 class ProgramStateManager; variable
56 ProgramStateManager &StateMgr;
62 StoreManager(ProgramStateManager &stateMgr);
315 CreateRegionStoreManager(ProgramStateManager &StMgr);
|
| D | SValBuilder.h | 50 class ProgramStateManager; variable
68 ProgramStateManager &StateMgr;
80 ProgramStateManager &stateMgr);
151 ProgramStateManager &getStateManager() { return StateMgr; } in getStateManager()
417 ProgramStateManager &stateMgr);
|
| D | ConstraintManager.h | 34 class ProgramStateManager; variable
188 CreateRangeConstraintManager(ProgramStateManager &statemgr,
192 CreateZ3ConstraintManager(ProgramStateManager &statemgr,
|
| /aosp_15_r20/external/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ChrootChecker.cpp | 90 ProgramStateManager &Mgr = state->getStateManager(); in Chroot()
100 ProgramStateManager &Mgr = state->getStateManager(); in Chdir()
|