clang
15.0.0git
|
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
Friends | |
class | ProgramState |
void | ProgramStateRelease (const ProgramState *state) |
Decrement the number of times this state is referenced. More... | |
Definition at line 498 of file ProgramState.h.
ProgramStateManager::ProgramStateManager | ( | ASTContext & | Ctx, |
StoreManagerCreator | CreateStoreManager, | ||
ConstraintManagerCreator | CreateConstraintManager, | ||
llvm::BumpPtrAllocator & | alloc, | ||
ExprEngine * | expreng | ||
) |
Definition at line 71 of file ProgramState.cpp.
ProgramStateManager::~ProgramStateManager | ( | ) |
Definition at line 84 of file ProgramState.cpp.
|
inline |
Definition at line 651 of file ProgramState.h.
References addGDM(), and AttributeLangSupport::C.
Referenced by clang::ento::ProgramState::add().
ProgramStateRef ProgramStateManager::addGDM | ( | ProgramStateRef | St, |
void * | Key, | ||
void * | Data | ||
) |
Definition at line 522 of file ProgramState.cpp.
References getPersistentState().
Definition at line 585 of file ProgramState.h.
Referenced by clang::ento::SValBuilder::evalCastSubKind().
void * ProgramStateManager::FindGDMContext | ( | void * | index, |
void *(*)(llvm::BumpPtrAllocator &) | CreateContext, | ||
void(*)(void *) | DeleteContext | ||
) |
Definition at line 509 of file ProgramState.cpp.
Referenced by get_context().
|
inline |
Definition at line 677 of file ProgramState.h.
References FindGDMContext().
Referenced by clang::ento::ProgramState::get_context().
|
inline |
Definition at line 563 of file ProgramState.h.
|
inline |
Definition at line 544 of file ProgramState.h.
Referenced by clang::ento::ProgramState::getBasicVals(), and clang::ento::ExprEngine::getBasicVals().
|
inline |
Definition at line 572 of file ProgramState.h.
Referenced by clang::ento::ExprEngine::computeObjectUnderConstruction(), clang::ento::ExprEngine::processCallExit(), clang::ento::ExprEngine::VisitCallExpr(), clang::ento::ExprEngine::VisitCXXDeleteExpr(), clang::ento::ExprEngine::VisitCXXNewAllocatorCall(), clang::ento::ExprEngine::VisitCXXNewExpr(), clang::ento::retaincountchecker::RefCountReportVisitor::VisitNode(), clang::ento::UndefOrNullArgVisitor::VisitNode(), clang::ento::NoStateChangeFuncVisitor::VisitNode(), and clang::ento::ExprEngine::VisitObjCMessage().
|
inline |
Definition at line 575 of file ProgramState.h.
Referenced by clang::ento::ProgramState::getConstraintManager(), and clang::ento::ExprEngine::getConstraintManager().
|
inline |
Definition at line 541 of file ProgramState.h.
Referenced by clang::ento::StoreManager::castRegion().
|
inline |
Definition at line 542 of file ProgramState.h.
ProgramStateRef ProgramStateManager::getInitialState | ( | const LocationContext * | InitLoc | ) |
Definition at line 396 of file ProgramState.cpp.
References clang::ento::EnvironmentManager::getInitialEnvironment(), getPersistentState(), and State.
Referenced by clang::ento::ExprEngine::getInitialState().
|
inline |
Definition at line 576 of file ProgramState.h.
Referenced by clang::ento::ProgramState::bindDefaultInitial(), clang::ento::ProgramState::bindDefaultZero(), clang::ento::SValBuilder::evalCastSubKind(), and clang::ento::ProgramState::getAnalysisManager().
ProgramStateRef ProgramStateManager::getPersistentState | ( | ProgramState & | Impl | ) |
Definition at line 413 of file ProgramState.cpp.
References ProgramState, and State.
Referenced by addGDM(), getInitialState(), getPersistentStateWithGDM(), removeDeadBindingsFromEnvironmentAndStore(), and removeGDM().
ProgramStateRef ProgramStateManager::getPersistentStateWithGDM | ( | ProgramStateRef | FromState, |
ProgramStateRef | GDMState | ||
) |
Definition at line 405 of file ProgramState.cpp.
References getPersistentState().
|
inline |
Definition at line 565 of file ProgramState.h.
Referenced by clang::ento::ProgramState::getRegion().
|
inline |
Definition at line 568 of file ProgramState.h.
|
inline |
Definition at line 574 of file ProgramState.h.
Referenced by clang::ento::SValBuilder::getCastedMemRegionVal(), clang::ento::CXXInstanceCall::getInitialStackFrameContents(), clang::ento::ExprEngine::getStoreManager(), clang::ento::ProgramState::ProgramState(), clang::ento::ExprEngine::VisitCast(), and clang::ento::ProgramState::~ProgramState().
|
inline |
Definition at line 548 of file ProgramState.h.
Referenced by clang::ento::ProgramState::areEqual(), clang::ento::CreateRangeConstraintManager(), clang::ento::CreateZ3ConstraintManager(), getBVF(), and clang::ento::CXXInstanceCall::getInitialStackFrameContents().
|
inline |
Definition at line 552 of file ProgramState.h.
|
inline |
Definition at line 556 of file ProgramState.h.
Referenced by clang::ento::ProgramState::getSymbolManager().
|
inline |
Definition at line 559 of file ProgramState.h.
|
inline |
Definition at line 603 of file ProgramState.h.
Referenced by clang::ento::ConditionBRVisitor::VisitTrueTest().
|
inline |
Definition at line 607 of file ProgramState.h.
|
inline |
Definition at line 611 of file ProgramState.h.
|
inline |
Definition at line 595 of file ProgramState.h.
References state.
Referenced by GetAllocationSite(), and getAllVarBindingsForSymbol().
|
inline |
Definition at line 668 of file ProgramState.h.
References removeGDM().
|
inline |
Definition at line 659 of file ProgramState.h.
References addGDM(), and AttributeLangSupport::C.
Referenced by clang::ento::ProgramState::remove().
ProgramStateRef ProgramStateManager::removeDeadBindingsFromEnvironmentAndStore | ( | 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(), clang::ento::SymbolReaper::setReapedStore(), and state.
ProgramStateRef ProgramStateManager::removeGDM | ( | ProgramStateRef | state, |
void * | Key | ||
) |
Definition at line 534 of file ProgramState.cpp.
References getPersistentState(), and state.
Referenced by remove().
|
inline |
Definition at line 635 of file ProgramState.h.
References addGDM().
Referenced by clang::ento::ProgramState::set().
|
inline |
Definition at line 641 of file ProgramState.h.
References addGDM(), AttributeLangSupport::C, and V.
|
friend |
Definition at line 499 of file ProgramState.h.
Referenced by getPersistentState().
|
friend |
Decrement the number of times this state is referenced.
Definition at line 34 of file ProgramState.cpp.