clang
9.0.0
|
#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 456 of file ProgramState.h.
ProgramStateManager::ProgramStateManager | ( | ASTContext & | Ctx, |
StoreManagerCreator | CreateStoreManager, | ||
ConstraintManagerCreator | CreateConstraintManager, | ||
llvm::BumpPtrAllocator & | alloc, | ||
SubEngine * | subeng | ||
) |
Definition at line 75 of file ProgramState.cpp.
ProgramStateManager::~ProgramStateManager | ( | ) |
Definition at line 88 of file ProgramState.cpp.
|
inline |
Definition at line 604 of file ProgramState.h.
ProgramStateRef ProgramStateManager::addGDM | ( | ProgramStateRef | St, |
void * | Key, | ||
void * | Data | ||
) |
Definition at line 506 of file ProgramState.cpp.
References getPersistentState().
Definition at line 538 of file ProgramState.h.
References clang::CodeGen::state.
Referenced by clang::ento::SValBuilder::evalCast().
void * ProgramStateManager::FindGDMContext | ( | void * | index, |
void *(*)(llvm::BumpPtrAllocator &) | CreateContext, | ||
void(*)(void *) | DeleteContext | ||
) |
Definition at line 493 of file ProgramState.cpp.
References p.
|
inline |
Definition at line 630 of file ProgramState.h.
References p.
|
inline |
Definition at line 517 of file ProgramState.h.
|
inline |
Definition at line 502 of file ProgramState.h.
Referenced by clang::ento::ExprEngine::getBasicVals(), and clang::ento::ProgramState::getSValAsScalarOrLoc().
|
inline |
Definition at line 526 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().
|
inline |
Definition at line 529 of file ProgramState.h.
Referenced by clang::ento::ProgramState::assumeInBound(), clang::ento::ExprEngine::getConstraintManager(), and clang::ento::ProgramState::printJson().
|
inline |
Definition at line 499 of file ProgramState.h.
Referenced by clang::ento::StoreManager::castRegion(), and clang::ento::ProgramState::printJson().
|
inline |
Definition at line 500 of file ProgramState.h.
ProgramStateRef ProgramStateManager::getInitialState | ( | const LocationContext * | InitLoc | ) |
Definition at line 386 of file ProgramState.cpp.
References clang::ento::EnvironmentManager::getInitialEnvironment(), getPersistentState(), and State.
Referenced by clang::ento::ExprEngine::getInitialState().
|
inline |
Definition at line 530 of file ProgramState.h.
Referenced by clang::ento::ProgramState::bindDefaultInitial(), clang::ento::ProgramState::bindDefaultZero(), clang::ento::SValBuilder::makeSymExprValNN(), clang::ento::ProgramState::printJson(), and removeDeadBindings().
ProgramStateRef ProgramStateManager::getPersistentState | ( | ProgramState & | Impl | ) |
Definition at line 403 of file ProgramState.cpp.
References clang::ento::StoreRef::getStore(), clang::ento::ProgramState::Profile(), and ProgramState.
Referenced by addGDM(), getInitialState(), getPersistentStateWithGDM(), removeDeadBindings(), and removeGDM().
ProgramStateRef ProgramStateManager::getPersistentStateWithGDM | ( | ProgramStateRef | FromState, |
ProgramStateRef | GDMState | ||
) |
Definition at line 395 of file ProgramState.cpp.
References getPersistentState().
Referenced by clang::ento::ExprEngine::removeDead().
|
inline |
Definition at line 519 of file ProgramState.h.
|
inline |
Definition at line 522 of file ProgramState.h.
|
inline |
Definition at line 528 of file ProgramState.h.
Referenced by clang::ento::SValBuilder::evalCast(), clang::ento::ExprEngine::getStoreManager(), clang::ento::ProgramState::printJson(), clang::ento::ProgramState::ProgramState(), and clang::ento::ProgramState::~ProgramState().
|
inline |
Definition at line 506 of file ProgramState.h.
Referenced by clang::ento::ProgramState::assumeInBound(), clang::ento::CreateRangeConstraintManager(), and clang::ento::CreateZ3ConstraintManager().
|
inline |
Definition at line 510 of file ProgramState.h.
|
inline |
Definition at line 513 of file ProgramState.h.
|
inline |
Definition at line 556 of file ProgramState.h.
|
inline |
Definition at line 560 of file ProgramState.h.
Referenced by clang::ento::ExprEngine::removeDead().
|
inline |
Definition at line 564 of file ProgramState.h.
Referenced by clang::ento::ExprEngine::removeDead().
|
inline |
Definition at line 548 of file ProgramState.h.
|
inline |
Definition at line 612 of file ProgramState.h.
References AttributeLangSupport::C.
|
inline |
Definition at line 621 of file ProgramState.h.
ProgramStateRef ProgramStateManager::removeDeadBindings | ( | ProgramStateRef | St, |
const StackFrameContext * | LCtx, | ||
SymbolReaper & | SymReaper | ||
) |
Definition at line 95 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(), clang::CodeGen::state, and V.
Referenced by clang::ento::ExprEngine::removeDead().
ProgramStateRef ProgramStateManager::removeGDM | ( | ProgramStateRef | state, |
void * | Key | ||
) |
Definition at line 518 of file ProgramState.cpp.
References getPersistentState(), and clang::CodeGen::state.
|
inline |
Definition at line 588 of file ProgramState.h.
|
inline |
Definition at line 594 of file ProgramState.h.
References AttributeLangSupport::C.
|
friend |
Definition at line 457 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.