OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:StoreManager
(Results
1 - 15
of
15
) sorted by null
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
StoreRef.h
24
/// memory model. Different subclasses of
StoreManager
may choose
28
class
StoreManager
;
32
StoreManager
&mgr;
34
StoreRef(Store,
StoreManager
&);
47
const
StoreManager
&getStoreManager() const { return mgr; }
Store.h
10
// This file defined the types Store and
StoreManager
.
40
class
StoreManager
{
45
/// MRMgr - Manages region objects associated with this
StoreManager
.
49
StoreManager
(ProgramStateManager &stateMgr);
52
virtual ~
StoreManager
() {}
150
/// If the
StoreManager
supports it, increment the reference count of
154
/// If the
StoreManager
supports it, decrement the reference count of
194
/// enterStackFrame - Let the
StoreManager
to do something when execution
212
virtual bool HandleBinding(
StoreManager
& SMgr, Store store,
226
bool HandleBinding(
StoreManager
& SMgr, Store store, const MemRegion* R
[
all
...]
CheckerContext.h
110
StoreManager
&getStoreManager() {
ProgramState.h
44
typedef
StoreManager
* (*StoreManagerCreator)(ProgramStateManager&);
444
std::unique_ptr<
StoreManager
> StoreMgr;
508
StoreManager
& getStoreManager() { return *StoreMgr; }
528
void iterBindings(ProgramStateRef state,
StoreManager
::BindingsHandler& F) {
678
StoreManager
&SM = *getStateManager().StoreMgr;
ExprEngine.h
291
StoreManager
& getStoreManager() { return StateMgr.getStoreManager(); }
SymbolManager.h
588
StoreManager
&storeMgr)
646
///
StoreManager
::removeDeadBindings has been called.
/external/clang/lib/StaticAnalyzer/Core/
Store.cpp
10
// This file defined the types Store and
StoreManager
.
24
StoreManager
::
StoreManager
(ProgramStateManager &stateMgr)
28
StoreRef
StoreManager
::enterStackFrame(Store OldStore,
45
const MemRegion *
StoreManager
::MakeElementRegion(const MemRegion *Base,
62
StoreRef
StoreManager
::BindDefault(Store store, const MemRegion *R, SVal V) {
66
const ElementRegion *
StoreManager
::GetElementZeroRegion(const MemRegion *R,
73
const MemRegion *
StoreManager
::castRegion(const MemRegion *R, QualType CastToTy) {
246
SVal
StoreManager
::evalDerivedToBase(SVal Derived, const CastExpr *Cast) {
262
SVal
StoreManager
::evalDerivedToBase(SVal Derived, const CXXBasePath &Path)
[
all
...]
ProgramState.cpp
188
StoreManager
::InvalidatedRegions TopLevelInvalidated;
189
StoreManager
::InvalidatedRegions Invalidated;
513
StoreManager
&StoreMgr = state->getStateManager().getStoreManager();
606
StoreManager
&StoreMgr = state->getStateManager().getStoreManager();
SValBuilder.cpp
442
StoreManager
&storeMgr = StateMgr.getStoreManager();
518
StoreManager
&storeMgr = StateMgr.getStoreManager();
RegionStore.cpp
321
class RegionStoreManager : public
StoreManager
{
352
:
StoreManager
(mgr), Features(f),
476
/// If the
StoreManager
supports it, decrement the reference count of
612
StoreManager
*ento::CreateRegionStoreManager(ProgramStateManager& StMgr) {
617
StoreManager
*
[
all
...]
ExprEngineCallAndReturn.cpp
125
StoreManager
&StoreMgr) {
[
all
...]
ExprEngine.cpp
193
StoreManager
&StoreMgr = StateMgr.getStoreManager();
[
all
...]
/external/clang/lib/StaticAnalyzer/Checkers/
CallAndMessageChecker.cpp
221
StoreManager
&StoreMgr;
225
FindUninitializedField(
StoreManager
&storeMgr,
MacOSKeychainAPIChecker.cpp
222
StoreManager
& SM = C.getStoreManager();
RetainCountChecker.cpp
[
all
...]
Completed in 133 milliseconds