#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 500 of file ProgramState.h.

Constructor & Destructor Documentation

◆ ProgramStateManager()

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

Definition at line 79 of file ProgramState.cpp.

◆ ~ProgramStateManager()

ProgramStateManager::~ProgramStateManager ( )

Definition at line 92 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 645 of file ProgramState.h.

◆ addGDM()

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

Definition at line 534 of file ProgramState.cpp.

References getPersistentState().

◆ ArrayToPointer()

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

inline

Definition at line 583 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 679 of file ProgramState.h.

◆ FindGDMContext()

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

Definition at line 521 of file ProgramState.cpp.

◆ get_context()

template<typename T >

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

inline

Definition at line 671 of file ProgramState.h.

◆ getAllocator()

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

inline

Definition at line 562 of file ProgramState.h.

◆ getBasicVals()

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

inline

Definition at line 547 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 571 of file ProgramState.h.

Referenced by 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 574 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 544 of file ProgramState.h.

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

◆ getContext() [2/2]

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

inline

Definition at line 545 of file ProgramState.h.

◆ getInitialState()

ProgramStateRef ProgramStateManager::getInitialState ( const LocationContext * InitLoc )

Definition at line 401 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 575 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 418 of file ProgramState.cpp.

References clang::ento::ProgramState::Profile().

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

◆ getPersistentStateWithGDM()

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

Definition at line 410 of file ProgramState.cpp.

References getPersistentState().

◆ getRegionManager() [1/2]

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

inline

Definition at line 564 of file ProgramState.h.

◆ getRegionManager() [2/2]

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

inline

Definition at line 567 of file ProgramState.h.

◆ getStoreManager()

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

inline

Definition at line 573 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 551 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 555 of file ProgramState.h.

◆ getSymbolManager() [2/2]

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

inline

Definition at line 558 of file ProgramState.h.

◆ haveEqualEnvironments()

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

inline

Definition at line 601 of file ProgramState.h.

◆ haveEqualStores()

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

inline

Definition at line 605 of file ProgramState.h.

◆ iterBindings()

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

inline

Definition at line 593 of file ProgramState.h.

Referenced by GetAllocationSite().

◆ 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 653 of file ProgramState.h.

References AttributeLangSupport::C.

◆ remove() [2/2]

template<typename T >

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

inline

Definition at line 662 of file ProgramState.h.

◆ removeDeadBindings()

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

Definition at line 99 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.

◆ removeGDM()

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

Definition at line 546 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 629 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 635 of file ProgramState.h.

References AttributeLangSupport::C.

Friends And Related Function Documentation

◆ ProgramState

friend class ProgramState

friend

Definition at line 501 of file ProgramState.h.

◆ 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

Public Member Functions

Friends

Detailed Description

Constructor & Destructor Documentation

◆ ProgramStateManager()

◆ ~ProgramStateManager()

Member Function Documentation

◆ add()

◆ addGDM()

◆ ArrayToPointer()

◆ EndPath()

◆ FindGDMContext()

◆ get_context()

◆ getAllocator()

◆ getBasicVals()

◆ getCallEventManager()

◆ getConstraintManager()

◆ getContext() [1/2]

◆ getContext() [2/2]

◆ getInitialState()

◆ getOwningEngine()

◆ getPersistentState()

◆ getPersistentStateWithGDM()

◆ getRegionManager() [1/2]

◆ getRegionManager() [2/2]

◆ getStoreManager()

◆ getSValBuilder()

◆ getSymbolManager() [1/2]

◆ getSymbolManager() [2/2]

◆ haveEqualEnvironments()

◆ haveEqualStores()

◆ iterBindings()

◆ remove() [1/2]

◆ remove() [2/2]

◆ removeDeadBindings()

◆ removeGDM()

◆ set() [1/2]

◆ set() [2/2]

Friends And Related Function Documentation

◆ ProgramState

◆ ProgramStateRelease