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

Public Member Functions
	ProgramStateManager (ASTContext &Ctx, StoreManagerCreator CreateStoreManager, ConstraintManagerCreator CreateConstraintManager, llvm::BumpPtrAllocator &alloc, ExprEngine *expreng)
	~ProgramStateManager ()
ProgramStateRef	getInitialState (const LocationContext *InitLoc)
ASTContext &	getContext ()
const ASTContext &	getContext () const
BasicValueFactory &	getBasicVals ()
SValBuilder &	getSValBuilder ()
const SValBuilder &	getSValBuilder () const
SymbolManager &	getSymbolManager ()
const SymbolManager &	getSymbolManager () const
llvm::BumpPtrAllocator &	getAllocator ()
MemRegionManager &	getRegionManager ()
const MemRegionManager &	getRegionManager () const
CallEventManager &	getCallEventManager ()
StoreManager &	getStoreManager ()
const StoreManager &	getStoreManager () const
ConstraintManager &	getConstraintManager ()
const ConstraintManager &	getConstraintManager () const
ExprEngine &	getOwningEngine ()
ProgramStateRef	removeDeadBindingsFromEnvironmentAndStore (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	haveEqualConstraints (ProgramStateRef S1, ProgramStateRef S2) const
bool	haveEqualEnvironments (ProgramStateRef S1, ProgramStateRef S2) const
bool	haveEqualStores (ProgramStateRef S1, ProgramStateRef S2) const
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 ()

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

Detailed Description

Definition at line 498 of file ProgramState.h.

Constructor & Destructor Documentation

◆ ProgramStateManager()

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

Definition at line 71 of file ProgramState.cpp.

References clang::ento::createSimpleSValBuilder().

◆ ~ProgramStateManager()

ProgramStateManager::~ProgramStateManager ( )

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

References addGDM(), clang::C, clang::ento::ProgramStateTrait< T >::MakeVoidPtr(), and clang::T.

Referenced by clang::ento::ProgramState::add().

◆ addGDM()

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

Definition at line 552 of file ProgramState.cpp.

References clang::Data, getPersistentState(), and ProgramState.

Referenced by add(), remove(), set(), and set().

◆ ArrayToPointer()

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

inline

Definition at line 589 of file ProgramState.h.

◆ FindGDMContext()

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

Definition at line 539 of file ProgramState.cpp.

Referenced by get_context().

◆ get_context()

template<typename T>

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

inline

Definition at line 681 of file ProgramState.h.

References FindGDMContext().

Referenced by clang::ento::ProgramState::get_context().

◆ getAllocator()

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

inline

Definition at line 563 of file ProgramState.h.

◆ getBasicVals()

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

inline

Definition at line 544 of file ProgramState.h.

Referenced by clang::ento::ProgramState::getBasicVals().

◆ getCallEventManager()

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

inline

Definition at line 572 of file ProgramState.h.

◆ getConstraintManager() [1/2]

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

inline

Definition at line 576 of file ProgramState.h.

Referenced by clang::ento::ProgramState::printJson().

◆ getConstraintManager() [2/2]

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

inline

Definition at line 577 of file ProgramState.h.

◆ getContext() [1/2]

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

inline

Definition at line 541 of file ProgramState.h.

Referenced by clang::ento::ProgramState::printJson().

◆ getContext() [2/2]

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

inline

Definition at line 542 of file ProgramState.h.

◆ getInitialState()

ProgramStateRef ProgramStateManager::getInitialState ( const LocationContext * InitLoc )

Definition at line 394 of file ProgramState.cpp.

References getPersistentState(), and ProgramState.

◆ getOwningEngine()

ExprEngine & clang::ento::ProgramStateManager::getOwningEngine ( )

inline

Definition at line 580 of file ProgramState.h.

Referenced by clang::ento::ProgramState::bindDefaultInitial(), clang::ento::ProgramState::bindDefaultZero(), clang::ento::ProgramState::bindLoc(), and clang::ento::ProgramState::printJson().

◆ getPersistentState()

ProgramStateRef ProgramStateManager::getPersistentState ( ProgramState & Impl )

Definition at line 411 of file ProgramState.cpp.

References ProgramState.

Referenced by addGDM(), clang::ento::ProgramState::BindExpr(), getInitialState(), getPersistentStateWithGDM(), removeDeadBindingsFromEnvironmentAndStore(), and removeGDM().

◆ getPersistentStateWithGDM()

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

Definition at line 403 of file ProgramState.cpp.

References getPersistentState(), and ProgramState.

◆ getRegionManager() [1/2]

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

inline

Definition at line 565 of file ProgramState.h.

Referenced by clang::ento::ProgramState::getRegion().

◆ getRegionManager() [2/2]

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

inline

Definition at line 568 of file ProgramState.h.

◆ getStoreManager() [1/2]

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

inline

Definition at line 574 of file ProgramState.h.

Referenced by evalComparison(), clang::ento::CXXInstanceCall::getInitialStackFrameContents(), and clang::ento::ProgramState::printJson().

◆ getStoreManager() [2/2]

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

inline

Definition at line 575 of file ProgramState.h.

◆ getSValBuilder() [1/2]

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

inline

Definition at line 548 of file ProgramState.h.

Referenced by clang::ento::SimpleConstraintManager::assumeInternal(), clang::ento::iterator::assumeNoOverflow(), bindRequiredArrayElementToEnvironment(), clang::ento::CreateRangeConstraintManager(), clang::ento::CreateZ3ConstraintManager(), doRearrangeUnchecked(), escapeByStartIndexAndCount(), evalComparison(), clang::ento::CallEventManager::getCaller(), getIndex(), clang::ento::CXXInstanceCall::getInitialStackFrameContents(), getKnownValue(), isInRelation(), isWithinConstantOverflowBounds(), clang::ento::simplifyToSVal(), tryRearrange(), and wasRegionOfInterestModifiedAt().

◆ getSValBuilder() [2/2]

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

inline

Definition at line 552 of file ProgramState.h.

◆ getSymbolManager() [1/2]

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

inline

Definition at line 556 of file ProgramState.h.

Referenced by clang::ento::ProgramState::getSymbolManager().

◆ getSymbolManager() [2/2]

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

inline

Definition at line 559 of file ProgramState.h.

◆ haveEqualConstraints()

bool clang::ento::ProgramStateManager::haveEqualConstraints	(	ProgramStateRef	S1,
		ProgramStateRef	S2 ) const

inline

Definition at line 607 of file ProgramState.h.

Referenced by clang::ento::ConditionBRVisitor::VisitTrueTest().

◆ haveEqualEnvironments()

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

inline

Definition at line 611 of file ProgramState.h.

◆ haveEqualStores()

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

inline

Definition at line 615 of file ProgramState.h.

◆ iterBindings()

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

inline

Definition at line 599 of file ProgramState.h.

Referenced by GetAllocationSite(), and getAllVarBindingsForSymbol().

◆ remove() [1/2]

template<typename T>

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

inline

Definition at line 672 of file ProgramState.h.

References removeGDM().

◆ remove() [2/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 663 of file ProgramState.h.

References addGDM(), clang::C, clang::ento::ProgramStateTrait< T >::MakeVoidPtr(), and clang::T.

Referenced by clang::ento::ProgramState::remove(), clang::ento::ProgramState::remove(), and clang::ento::ProgramState::remove().

◆ removeDeadBindingsFromEnvironmentAndStore()

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

Definition at line 90 of file ProgramState.cpp.

References getPersistentState(), clang::ento::ProgramState::getStore(), ProgramState, and clang::ento::SymbolReaper::setReapedStore().

◆ removeGDM()

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

Definition at line 564 of file ProgramState.cpp.

References getPersistentState(), and ProgramState.

Referenced by remove().

◆ set() [1/2]

template<typename T>

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

inline

Definition at line 639 of file ProgramState.h.

References addGDM(), and clang::ento::ProgramStateTrait< T >::MakeVoidPtr().

Referenced by clang::ento::ProgramState::set(), clang::ento::ProgramState::set(), and clang::ento::ProgramState::set().

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

References addGDM(), clang::C, clang::ento::ProgramStateTrait< T >::MakeVoidPtr(), clang::T, and V.

◆ ProgramState

friend class ProgramState

friend

Definition at line 499 of file ProgramState.h.

References ProgramState.

Referenced by addGDM(), getInitialState(), getPersistentState(), getPersistentStateWithGDM(), ProgramState, removeDeadBindingsFromEnvironmentAndStore(), and removeGDM().

◆ ProgramStateRelease

void ProgramStateRelease ( const ProgramState * state )

friend

Decrement the number of times this state is referenced.

Definition at line 34 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()

◆ FindGDMContext()

◆ get_context()

◆ getAllocator()

◆ getBasicVals()

◆ getCallEventManager()

◆ getConstraintManager() [1/2]

◆ getConstraintManager() [2/2]

◆ getContext() [1/2]

◆ getContext() [2/2]

◆ getInitialState()

◆ getOwningEngine()

◆ getPersistentState()

◆ getPersistentStateWithGDM()

◆ getRegionManager() [1/2]

◆ getRegionManager() [2/2]

◆ getStoreManager() [1/2]

◆ getStoreManager() [2/2]

◆ getSValBuilder() [1/2]

◆ getSValBuilder() [2/2]

◆ getSymbolManager() [1/2]

◆ getSymbolManager() [2/2]

◆ haveEqualConstraints()

◆ haveEqualEnvironments()

◆ haveEqualStores()

◆ iterBindings()

◆ remove() [1/2]

◆ remove() [2/2]

◆ removeDeadBindingsFromEnvironmentAndStore()

◆ removeGDM()

◆ set() [1/2]

◆ set() [2/2]

Friends And Related Symbol Documentation

◆ ProgramState

◆ ProgramStateRelease