|
clang
5.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 70 of file ProgramState.cpp.
| ProgramStateManager::~ProgramStateManager | ( | ) |
Definition at line 83 of file ProgramState.cpp.
|
inline |
Definition at line 601 of file ProgramState.h.
References addGDM().
Referenced by clang::ento::ProgramState::add().
| ProgramStateRef ProgramStateManager::addGDM | ( | ProgramStateRef | St, |
| void * | Key, | ||
| void * | Data | ||
| ) |
Definition at line 489 of file ProgramState.cpp.
References getPersistentState().
Definition at line 539 of file ProgramState.h.
Referenced by clang::ento::SValBuilder::evalCast().
|
inline |
Definition at line 635 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 476 of file ProgramState.cpp.
Referenced by get_context().
|
inline |
Definition at line 627 of file ProgramState.h.
References FindGDMContext().
Referenced by clang::ento::ProgramState::get_context().
|
inline |
Definition at line 518 of file ProgramState.h.
|
inline |
Definition at line 503 of file ProgramState.h.
Referenced by clang::ento::ProgramState::getBasicVals(), and clang::ento::ExprEngine::getBasicVals().
|
inline |
Definition at line 527 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().
|
inline |
Definition at line 530 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().
|
inline |
Definition at line 500 of file ProgramState.h.
Referenced by clang::ento::StoreManager::castRegion().
|
inline |
Definition at line 501 of file ProgramState.h.
| ProgramStateRef ProgramStateManager::getInitialState | ( | const LocationContext * | InitLoc | ) |
Definition at line 369 of file ProgramState.cpp.
References clang::ento::EnvironmentManager::getInitialEnvironment(), getPersistentState(), and State.
Referenced by clang::ento::ExprEngine::getInitialState().
|
inline |
Definition at line 531 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 386 of file ProgramState.cpp.
References I, ID, 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 378 of file ProgramState.cpp.
References getPersistentState().
Referenced by clang::ento::ExprEngine::removeDead().
|
inline |
Definition at line 520 of file ProgramState.h.
Referenced by getLocationRegionIfReference(), clang::ento::ProgramState::getRegion(), and clang::ento::FindLastStoreBRVisitor::registerStatementVarDecls().
|
inline |
Definition at line 523 of file ProgramState.h.
|
inline |
Definition at line 529 of file ProgramState.h.
Referenced by clang::ento::SValBuilder::evalCast(), clang::CXXInstanceCall::getInitialStackFrameContents(), clang::ento::ExprEngine::getStoreManager(), isGreaterEqual(), clang::ento::ProgramState::print(), clang::ento::ProgramState::ProgramState(), and clang::ento::ProgramState::~ProgramState().
|
inline |
Definition at line 507 of file ProgramState.h.
Referenced by clang::ento::ProgramState::assumeInBound(), clang::ento::CreateRangeConstraintManager(), clang::ento::CreateZ3ConstraintManager(), clang::BlockCall::getInitialStackFrameContents(), clang::CXXInstanceCall::getInitialStackFrameContents(), clang::CXXConstructorCall::getInitialStackFrameContents(), clang::ObjCMethodCall::getInitialStackFrameContents(), and clang::ento::BugReporterContext::getSValBuilder().
|
inline |
Definition at line 511 of file ProgramState.h.
Referenced by clang::ento::ProgramState::getSymbolManager().
|
inline |
Definition at line 514 of file ProgramState.h.
|
inline |
Definition at line 557 of file ProgramState.h.
Referenced by clang::ento::ExprEngine::removeDead().
|
inline |
Definition at line 561 of file ProgramState.h.
Referenced by clang::ento::ExprEngine::removeDead().
|
inline |
Definition at line 549 of file ProgramState.h.
Referenced by GetAllocationSite().
|
inline |
Definition at line 609 of file ProgramState.h.
References addGDM(), and AttributeLangSupport::C.
Referenced by clang::ento::ProgramState::remove().
|
inline |
Definition at line 618 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(), Result, clang::ento::SymbolReaper::setReapedStore(), and clang::CodeGen::state.
Referenced by clang::ento::ExprEngine::removeDead().
| ProgramStateRef ProgramStateManager::removeGDM | ( | ProgramStateRef | state, |
| void * | Key | ||
| ) |
Definition at line 501 of file ProgramState.cpp.
References getPersistentState(), and clang::CodeGen::state.
Referenced by remove().
|
inline |
Definition at line 585 of file ProgramState.h.
References addGDM().
Referenced by clang::ento::ProgramState::set().
|
inline |
Definition at line 591 of file ProgramState.h.
References addGDM().
|
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 33 of file ProgramState.cpp.
1.8.6