clang API Documentation

Public Member Functions | Friends
clang::ento::ProgramStateManager Class Reference

#include <ProgramState.h>

List of all members.

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.

Detailed Description

Definition at line 437 of file ProgramState.h.

Constructor & Destructor Documentation

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

Definition at line 70 of file ProgramState.cpp.

ProgramStateManager::~ProgramStateManager ( )

Definition at line 83 of file ProgramState.cpp.

Member Function Documentation

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

References addGDM().

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

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

Definition at line 484 of file ProgramState.cpp.

References getPersistentState().

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

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

Definition at line 519 of file ProgramState.h.

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

void clang::ento::ProgramStateManager::EndPath ( ProgramStateRef  St) [inline]

Definition at line 615 of file ProgramState.h.

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

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

Definition at line 471 of file ProgramState.cpp.

Referenced by get_context().

template<typename T >
ProgramStateTrait<T>::context_type clang::ento::ProgramStateManager::get_context ( ) [inline]

Definition at line 607 of file ProgramState.h.

References FindGDMContext().

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

llvm::BumpPtrAllocator& clang::ento::ProgramStateManager::getAllocator ( ) [inline]

Definition at line 498 of file ProgramState.h.

BasicValueFactory& clang::ento::ProgramStateManager::getBasicVals ( ) [inline]

Definition at line 483 of file ProgramState.h.

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

CallEventManager& clang::ento::ProgramStateManager::getCallEventManager ( ) [inline]

Definition at line 507 of file ProgramState.h.

Referenced by clang::ento::ExprEngine::processCallExit(), clang::ento::ExprEngine::VisitCallExpr(), clang::ento::ExprEngine::VisitCXXConstructExpr(), clang::ento::ExprEngine::VisitCXXDestructor(), clang::ento::ExprEngine::VisitCXXNewAllocatorCall(), clang::ento::ExprEngine::VisitCXXNewExpr(), clang::ento::UndefOrNullArgVisitor::VisitNode(), and clang::ento::ExprEngine::VisitObjCMessage().

ConstraintManager& clang::ento::ProgramStateManager::getConstraintManager ( ) [inline]

Definition at line 510 of file ProgramState.h.

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

ASTContext& clang::ento::ProgramStateManager::getContext ( ) [inline]

Definition at line 480 of file ProgramState.h.

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

const ASTContext& clang::ento::ProgramStateManager::getContext ( ) const [inline]

Definition at line 481 of file ProgramState.h.

ProgramStateRef ProgramStateManager::getInitialState ( const LocationContext *  InitLoc)

Definition at line 364 of file ProgramState.cpp.

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

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

SubEngine* clang::ento::ProgramStateManager::getOwningEngine ( ) [inline]

Definition at line 511 of file ProgramState.h.

Referenced by clang::ento::ProgramState::bindDefault(), clang::ento::ProgramState::bindLoc(), and clang::ento::ProgramState::print().

ProgramStateRef ProgramStateManager::getPersistentState ( ProgramState &  Impl)

Definition at line 381 of file ProgramState.cpp.

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

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

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

Definition at line 373 of file ProgramState.cpp.

References getPersistentState().

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

MemRegionManager& clang::ento::ProgramStateManager::getRegionManager ( ) [inline]

Definition at line 500 of file ProgramState.h.

Referenced by getLocationRegionIfReference(), clang::ento::ProgramState::getRegion(), and clang::ento::FindLastStoreBRVisitor::registerStatementVarDecls().

const MemRegionManager& clang::ento::ProgramStateManager::getRegionManager ( ) const [inline]

Definition at line 503 of file ProgramState.h.

StoreManager& clang::ento::ProgramStateManager::getStoreManager ( ) [inline]

Definition at line 509 of file ProgramState.h.

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

SValBuilder& clang::ento::ProgramStateManager::getSValBuilder ( ) [inline]

Definition at line 487 of file ProgramState.h.

Referenced by clang::ento::SimpleConstraintManager::assume(), clang::ento::ProgramState::assumeInBound(), clang::ento::CreateRangeConstraintManager(), clang::CallEventManager::getCaller(), clang::BlockCall::getInitialStackFrameContents(), clang::CXXInstanceCall::getInitialStackFrameContents(), clang::CXXConstructorCall::getInitialStackFrameContents(), clang::ObjCMethodCall::getInitialStackFrameContents(), clang::ento::BugReporterContext::getSValBuilder(), and makeZeroElementRegion().

SymbolManager& clang::ento::ProgramStateManager::getSymbolManager ( ) [inline]

Definition at line 491 of file ProgramState.h.

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

const SymbolManager& clang::ento::ProgramStateManager::getSymbolManager ( ) const [inline]

Definition at line 494 of file ProgramState.h.

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

Definition at line 537 of file ProgramState.h.

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

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

Definition at line 541 of file ProgramState.h.

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

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

Definition at line 529 of file ProgramState.h.

Referenced by GetAllocationSite().

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

References addGDM(), and AttributeLangSupport::C.

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

template<typename T >
ProgramStateRef clang::ento::ProgramStateManager::remove ( ProgramStateRef  st) [inline]

Definition at line 598 of file ProgramState.h.

References removeGDM().

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

Definition at line 90 of file ProgramState.cpp.

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

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

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

Definition at line 496 of file ProgramState.cpp.

References getPersistentState().

Referenced by remove().

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

Definition at line 565 of file ProgramState.h.

References addGDM().

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

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

References addGDM(), and AttributeLangSupport::C.

Friends And Related Function Documentation

friend class ProgramState [friend]

Definition at line 438 of file ProgramState.h.

Referenced by getPersistentState().

void ProgramStateRelease ( const ProgramState *  state) [friend]

Decrement the number of times this state is referenced.

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

Generated on Tue Nov 18 2014 04:30:12 for r222231 by Doxygen 1.7.6.1.

See the Main Clang Web Page for more information.