clang::ento::ProgramStateManager Class Reference

#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"

Public Member Functions
	ProgramStateManager (ASTContext &Ctx, StoreManagerCreator CreateStoreManager, ConstraintManagerCreator CreateConstraintManager, llvm::BumpPtrAllocator &alloc, SubEngine *subeng)
	~ProgramStateManager ()
ProgramStateRef	getInitialState (const LocationContext *InitLoc)
ASTContext &	getContext ()
const ASTContext &	getContext () const
BasicValueFactory &	getBasicVals ()
SValBuilder &	getSValBuilder ()
SymbolManager &	getSymbolManager ()
const SymbolManager &	getSymbolManager () const
llvm::BumpPtrAllocator &	getAllocator ()
MemRegionManager &	getRegionManager ()
const MemRegionManager &	getRegionManager () const
CallEventManager &	getCallEventManager ()
StoreManager &	getStoreManager ()
ConstraintManager &	getConstraintManager ()
SubEngine *	getOwningEngine ()
ProgramStateRef	removeDeadBindings (ProgramStateRef St, const StackFrameContext *LCtx, SymbolReaper &SymReaper)
SVal	ArrayToPointer (Loc Array, QualType ElementTy)
ProgramStateRef	addGDM (ProgramStateRef St, void *Key, void *Data)
ProgramStateRef	removeGDM (ProgramStateRef state, void *Key)
void	iterBindings (ProgramStateRef state, StoreManager::BindingsHandler &F)
ProgramStateRef	getPersistentState (ProgramState &Impl)
ProgramStateRef	getPersistentStateWithGDM (ProgramStateRef FromState, ProgramStateRef GDMState)
bool	haveEqualEnvironments (ProgramStateRef S1, ProgramStateRef S2)
bool	haveEqualStores (ProgramStateRef S1, ProgramStateRef S2)
template<typename T >
ProgramStateRef	set (ProgramStateRef st, typename ProgramStateTrait< T >::data_type D)
template<typename T >
ProgramStateRef	set (ProgramStateRef st, typename ProgramStateTrait< T >::key_type K, typename ProgramStateTrait< T >::value_type V, typename ProgramStateTrait< T >::context_type C)
template<typename T >
ProgramStateRef	add (ProgramStateRef st, typename ProgramStateTrait< T >::key_type K, typename ProgramStateTrait< T >::context_type C)
template<typename T >
ProgramStateRef	remove (ProgramStateRef st, typename ProgramStateTrait< T >::key_type K, typename ProgramStateTrait< T >::context_type C)
template<typename T >
ProgramStateRef	remove (ProgramStateRef st)
void *	FindGDMContext (void *index, void *(*CreateContext)(llvm::BumpPtrAllocator &), void(*DeleteContext)(void *))
template<typename T >
ProgramStateTrait< T >::context_type	get_context ()
void	EndPath (ProgramStateRef St)

Friends
class	ProgramState
void	ProgramStateRelease (const ProgramState *state)
	Decrement the number of times this state is referenced. More...

Detailed Description

Definition at line 491 of file ProgramState.h.

Constructor & Destructor Documentation

ProgramStateManager()

ProgramStateManager::ProgramStateManager	(	ASTContext &	Ctx,
		StoreManagerCreator	CreateStoreManager,
		ConstraintManagerCreator	CreateConstraintManager,
		llvm::BumpPtrAllocator &	alloc,
		SubEngine *	subeng
	)

Definition at line 76 of file ProgramState.cpp.

~ProgramStateManager()

ProgramStateManager::~ProgramStateManager

(

)

Definition at line 89 of file ProgramState.cpp.

Member Function Documentation

add()

template<typename T >

ProgramStateRef clang::ento::ProgramStateManager::add ( ProgramStateRef  st, typename ProgramStateTrait< T >::key_type  K, typename ProgramStateTrait< T >::context_type  C  )

inline

Definition at line 636 of file ProgramState.h.

addGDM()

ProgramStateRef ProgramStateManager::addGDM	(	ProgramStateRef	St,
		void *	Key,
		void *	Data
	)

Definition at line 531 of file ProgramState.cpp.

References getPersistentState().

ArrayToPointer()

SVal clang::ento::ProgramStateManager::ArrayToPointer ( Loc  Array, QualType  ElementTy  )

inline

Definition at line 574 of file ProgramState.h.

References clang::CodeGen::state.

Referenced by clang::ento::SValBuilder::evalCast().

EndPath()

void clang::ento::ProgramStateManager::EndPath ( ProgramStateRef  St )

inline

Definition at line 670 of file ProgramState.h.

FindGDMContext()

void * ProgramStateManager::FindGDMContext	(	void *	index,
		void *(*)(llvm::BumpPtrAllocator &)	CreateContext,
		void(*)(void *)	DeleteContext
	)

Definition at line 518 of file ProgramState.cpp.

get_context()

template<typename T >

ProgramStateTrait<T>::context_type clang::ento::ProgramStateManager::get_context ( )

inline

Definition at line 662 of file ProgramState.h.

getAllocator()

llvm::BumpPtrAllocator& clang::ento::ProgramStateManager::getAllocator ( )

inline

Definition at line 553 of file ProgramState.h.

getBasicVals()

BasicValueFactory& clang::ento::ProgramStateManager::getBasicVals ( )

inline

Definition at line 538 of file ProgramState.h.

Referenced by clang::ento::ExprEngine::getBasicVals(), and clang::ento::ProgramState::getSValAsScalarOrLoc().

getCallEventManager()

CallEventManager& clang::ento::ProgramStateManager::getCallEventManager ( )

inline

Definition at line 562 of file ProgramState.h.

Referenced by clang::ento::ExprEngine::CreateCXXTemporaryObject(), clang::ento::ExprEngine::processCallExit(), clang::ento::ExprEngine::processEndOfFunction(), clang::ento::ExprEngine::VisitCallExpr(), clang::ento::ExprEngine::VisitCXXConstructExpr(), clang::ento::ExprEngine::VisitCXXNewAllocatorCall(), clang::ento::ExprEngine::VisitCXXNewExpr(), and clang::ento::ExprEngine::VisitObjCMessage().

getConstraintManager()

ConstraintManager& clang::ento::ProgramStateManager::getConstraintManager ( )

inline

Definition at line 565 of file ProgramState.h.

Referenced by clang::ento::ProgramState::assumeInBound(), and clang::ento::ExprEngine::getConstraintManager().

getContext() [1/2]

ASTContext& clang::ento::ProgramStateManager::getContext ( )

inline

Definition at line 535 of file ProgramState.h.

Referenced by clang::ento::StoreManager::castRegion().

getContext() [2/2]

const ASTContext& clang::ento::ProgramStateManager::getContext ( ) const

inline

Definition at line 536 of file ProgramState.h.

getInitialState()

ProgramStateRef ProgramStateManager::getInitialState

(

const LocationContext *

InitLoc

)

Definition at line 398 of file ProgramState.cpp.

References clang::ento::EnvironmentManager::getInitialEnvironment(), getPersistentState(), and State.

Referenced by clang::ento::ExprEngine::getInitialState().

getOwningEngine()

SubEngine* clang::ento::ProgramStateManager::getOwningEngine ( )

inline

Definition at line 566 of file ProgramState.h.

Referenced by clang::ento::ProgramState::bindDefaultInitial(), clang::ento::ProgramState::bindDefaultZero(), clang::ento::SValBuilder::makeSymExprValNN(), and removeDeadBindings().

getPersistentState()

ProgramStateRef ProgramStateManager::getPersistentState

(

ProgramState &

Impl

)

Definition at line 415 of file ProgramState.cpp.

References clang::ento::StoreRef::getStore(), clang::ento::ProgramState::Profile(), and ProgramState.

Referenced by addGDM(), getInitialState(), getPersistentStateWithGDM(), removeDeadBindings(), and removeGDM().

getPersistentStateWithGDM()

ProgramStateRef ProgramStateManager::getPersistentStateWithGDM	(	ProgramStateRef	FromState,
		ProgramStateRef	GDMState
	)

Definition at line 407 of file ProgramState.cpp.

References getPersistentState().

Referenced by clang::ento::ExprEngine::removeDead().

getRegionManager() [1/2]

MemRegionManager& clang::ento::ProgramStateManager::getRegionManager ( )

inline

Definition at line 555 of file ProgramState.h.

getRegionManager() [2/2]

const MemRegionManager& clang::ento::ProgramStateManager::getRegionManager ( ) const

inline

Definition at line 558 of file ProgramState.h.

getStoreManager()

StoreManager& clang::ento::ProgramStateManager::getStoreManager ( )

inline

Definition at line 564 of file ProgramState.h.

Referenced by clang::ento::SValBuilder::evalCast(), clang::ento::ExprEngine::getStoreManager(), clang::ento::ProgramState::ProgramState(), and clang::ento::ProgramState::~ProgramState().

getSValBuilder()

SValBuilder& clang::ento::ProgramStateManager::getSValBuilder ( )

inline

Definition at line 542 of file ProgramState.h.

Referenced by clang::ento::ProgramState::assumeInBound(), clang::ento::CreateRangeConstraintManager(), and clang::ento::CreateZ3ConstraintManager().

getSymbolManager() [1/2]

SymbolManager& clang::ento::ProgramStateManager::getSymbolManager ( )

inline

Definition at line 546 of file ProgramState.h.

getSymbolManager() [2/2]

const SymbolManager& clang::ento::ProgramStateManager::getSymbolManager ( ) const

inline

Definition at line 549 of file ProgramState.h.

haveEqualEnvironments()

bool clang::ento::ProgramStateManager::haveEqualEnvironments ( ProgramStateRef  S1, ProgramStateRef  S2  )

inline

Definition at line 592 of file ProgramState.h.

Referenced by clang::ento::ExprEngine::removeDead().

haveEqualStores()

bool clang::ento::ProgramStateManager::haveEqualStores ( ProgramStateRef  S1, ProgramStateRef  S2  )

inline

Definition at line 596 of file ProgramState.h.

Referenced by clang::ento::ExprEngine::removeDead().

iterBindings()

void clang::ento::ProgramStateManager::iterBindings ( ProgramStateRef  state, StoreManager::BindingsHandler &  F  )

inline

Definition at line 584 of file ProgramState.h.

remove() [1/2]

template<typename T >

ProgramStateRef clang::ento::ProgramStateManager::remove ( ProgramStateRef  st, typename ProgramStateTrait< T >::key_type  K, typename ProgramStateTrait< T >::context_type  C  )

inline

Definition at line 644 of file ProgramState.h.

References AttributeLangSupport::C.

remove() [2/2]

template<typename T >

ProgramStateRef clang::ento::ProgramStateManager::remove ( ProgramStateRef  st )

inline

Definition at line 653 of file ProgramState.h.

removeDeadBindings()

ProgramStateRef ProgramStateManager::removeDeadBindings	(	ProgramStateRef	St,
		const StackFrameContext *	LCtx,
		SymbolReaper &	SymReaper
	)

Definition at line 96 of file ProgramState.cpp.

References clang::ento::ProgramState::bindLoc(), clang::ento::SVal::getAsRegion(), getOwningEngine(), getPersistentState(), clang::ento::ProgramState::getStore(), clang::ento::SubEngine::processRegionChange(), clang::ento::EnvironmentManager::removeDeadBindings(), clang::ento::SymbolReaper::setReapedStore(), and clang::CodeGen::state.

Referenced by clang::ento::ExprEngine::removeDead().

removeGDM()

ProgramStateRef ProgramStateManager::removeGDM	(	ProgramStateRef	state,
		void *	Key
	)

Definition at line 543 of file ProgramState.cpp.

References getPersistentState(), and clang::CodeGen::state.

set() [1/2]

template<typename T >

ProgramStateRef clang::ento::ProgramStateManager::set ( ProgramStateRef  st, typename ProgramStateTrait< T >::data_type  D  )

inline

Definition at line 620 of file ProgramState.h.

set() [2/2]

template<typename T >

ProgramStateRef clang::ento::ProgramStateManager::set ( ProgramStateRef  st, typename ProgramStateTrait< T >::key_type  K, typename ProgramStateTrait< T >::value_type  V, typename ProgramStateTrait< T >::context_type  C  )

inline

Definition at line 626 of file ProgramState.h.

References AttributeLangSupport::C.

Friends And Related Function Documentation

ProgramState

friend class ProgramState

friend

Definition at line 492 of file ProgramState.h.

Referenced by getPersistentState().

ProgramStateRelease

void ProgramStateRelease ( const ProgramState *  state )

friend

Decrement the number of times this state is referenced.

Definition at line 35 of file ProgramState.cpp.

---

The documentation for this class was generated from the following files:

• include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
• lib/StaticAnalyzer/Core/ProgramState.cpp