OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:StateMgr
(Results
1 - 10
of
10
) sorted by null
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ExprEngine.h
57
///
StateMgr
- Object that manages the data for all created states.
58
ProgramStateManager
StateMgr
;
229
virtual ProgramStateManager& getStateManager() { return
StateMgr
; }
231
StoreManager& getStoreManager() { return
StateMgr
.getStoreManager(); }
234
return
StateMgr
.getConstraintManager();
239
return
StateMgr
.getBasicVals();
242
return
StateMgr
.getBasicVals();
SValBuilder.h
45
ProgramStateManager &
StateMgr
;
63
ProgramStateManager &
stateMgr
)
67
StateMgr
(
stateMgr
),
126
ProgramStateManager &getStateManager() { return
StateMgr
; }
314
ProgramStateManager &
stateMgr
);
Store.h
40
ProgramStateManager &
StateMgr
;
46
StoreManager(ProgramStateManager &
stateMgr
);
/external/clang/lib/StaticAnalyzer/Core/
SimpleConstraintManager.cpp
263
ProgramStateManager &
StateMgr
= state->getStateManager();
264
ASTContext &Ctx =
StateMgr
.getContext();
SValBuilder.cpp
305
StoreManager &storeMgr =
StateMgr
.getStoreManager();
323
val =
StateMgr
.ArrayToPointer(cast<Loc>(val));
376
StoreManager &storeMgr =
StateMgr
.getStoreManager();
Store.cpp
22
StoreManager::StoreManager(ProgramStateManager &
stateMgr
)
23
: svalBuilder(
stateMgr
.getSValBuilder()),
StateMgr
(
stateMgr
),
24
MRMgr(svalBuilder.getRegionManager()), Ctx(
stateMgr
.getContext()) {}
62
ASTContext &Ctx =
StateMgr
.getContext();
BugReporterVisitors.cpp
295
ProgramStateManager &
StateMgr
= N->getState()->getStateManager();
320
StateMgr
.getRegionManager().getVarRegion(VD, N->getLocationContext());
412
ProgramStateManager &
StateMgr
= state->getStateManager();
417
StateMgr
.getRegionManager().getVarRegion(VD, N->getLocationContext());
ExprEngine.cpp
76
StateMgr
(getContext(), mgr.getStoreManagerCreator(),
79
SymMgr(
StateMgr
.getSymbolManager()),
80
svalBuilder(
StateMgr
.getSValBuilder()),
103
ProgramStateRef state =
StateMgr
.getInitialState(InitLoc);
291
CleanedState =
StateMgr
.removeDeadBindings(CleanedState, SFC, SymReaper);
327
assert(
StateMgr
.haveEqualEnvironments(CheckerState, EntryState) &&
330
assert(
StateMgr
.haveEqualStores(CheckerState, EntryState) &&
337
StateMgr
.getPersistentStateWithGDM(CleanedState, CheckerState);
[
all
...]
RegionStore.cpp
500
ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &
StateMgr
,
502
: RM(rm), Ctx(
StateMgr
.getContext()),
503
svalBuilder(
StateMgr
.getSValBuilder()),
614
ProgramStateManager &
stateMgr
,
621
: ClusterAnalysis<invalidateRegionsWorker>(rm,
stateMgr
, b, includeGlobals),
776
invalidateRegionsWorker W(*this,
StateMgr
,
[
all
...]
/external/clang/lib/StaticAnalyzer/Checkers/
RetainCountChecker.cpp
[
all
...]
Completed in 393 milliseconds