clang
3.9.0
|
ProgramState - This class encapsulates: More...
#include <ProgramState.h>
Public Types | |
typedef llvm::ImmutableSet < llvm::APSInt * > | IntSetTy |
typedef llvm::ImmutableMap < void *, void * > | GenericDataMap |
Public Member Functions | |
ProgramState (ProgramStateManager *mgr, const Environment &env, StoreRef st, GenericDataMap gdm) | |
This ctor is used when creating the first ProgramState object. More... | |
ProgramState (const ProgramState &RHS) | |
Copy ctor - We must explicitly define this or else the "Next" ptr in FoldingSetNode will also get copied. More... | |
~ProgramState () | |
ProgramStateManager & | getStateManager () const |
Return the ProgramStateManager associated with this state. More... | |
ConstraintManager & | getConstraintManager () const |
Return the ConstraintManager. More... | |
const Environment & | getEnvironment () const |
getEnvironment - Return the environment associated with this state. More... | |
Store | getStore () const |
Return the store associated with this state. More... | |
GenericDataMap | getGDM () const |
getGDM - Return the generic data map associated with this state. More... | |
void | setGDM (GenericDataMap gdm) |
void | Profile (llvm::FoldingSetNodeID &ID) const |
Profile - Used to profile the contents of this object for inclusion in a FoldingSet. More... | |
BasicValueFactory & | getBasicVals () const |
SymbolManager & | getSymbolManager () const |
ProgramStateRef | assume (DefinedOrUnknownSVal cond, bool assumption) const |
Assumes that the value of cond is zero (if assumption is "false") or non-zero (if assumption is "true"). More... | |
std::pair< ProgramStateRef, ProgramStateRef > | assume (DefinedOrUnknownSVal cond) const |
Assumes both "true" and "false" for cond , and returns both corresponding states (respectively). More... | |
ProgramStateRef | assumeInBound (DefinedOrUnknownSVal idx, DefinedOrUnknownSVal upperBound, bool assumption, QualType IndexType=QualType()) const |
ProgramStateRef | assumeWithinInclusiveRange (DefinedOrUnknownSVal Val, const llvm::APSInt &From, const llvm::APSInt &To, bool assumption) const |
Assumes that the value of Val is bounded with [From ; To ] (if assumption is "true") or it is fully out of this range (if assumption is "false"). More... | |
std::pair< ProgramStateRef, ProgramStateRef > | assumeWithinInclusiveRange (DefinedOrUnknownSVal Val, const llvm::APSInt &From, const llvm::APSInt &To) const |
Assumes given range both "true" and "false" for Val , and returns both corresponding states (respectively). More... | |
ConditionTruthVal | isNull (SVal V) const |
Check if the given SVal is constrained to zero or is a zero constant. More... | |
const VarRegion * | getRegion (const VarDecl *D, const LocationContext *LC) const |
Utility method for getting regions. More... | |
ProgramStateRef | BindExpr (const Stmt *S, const LocationContext *LCtx, SVal V, bool Invalidate=true) const |
Create a new state by binding the value 'V' to the statement 'S' in the state's environment. More... | |
ProgramStateRef | bindLoc (Loc location, SVal V, bool notifyChanges=true) const |
ProgramStateRef | bindLoc (SVal location, SVal V) const |
ProgramStateRef | bindDefault (SVal loc, SVal V) const |
ProgramStateRef | killBinding (Loc LV) const |
ProgramStateRef | invalidateRegions (ArrayRef< const MemRegion * > Regions, const Expr *E, unsigned BlockCount, const LocationContext *LCtx, bool CausesPointerEscape, InvalidatedSymbols *IS=nullptr, const CallEvent *Call=nullptr, RegionAndSymbolInvalidationTraits *ITraits=nullptr) const |
Returns the state with bindings for the given regions cleared from the store. More... | |
ProgramStateRef | invalidateRegions (ArrayRef< SVal > Regions, const Expr *E, unsigned BlockCount, const LocationContext *LCtx, bool CausesPointerEscape, InvalidatedSymbols *IS=nullptr, const CallEvent *Call=nullptr, RegionAndSymbolInvalidationTraits *ITraits=nullptr) const |
ProgramStateRef | enterStackFrame (const CallEvent &Call, const StackFrameContext *CalleeCtx) const |
enterStackFrame - Returns the state for entry to the given stack frame, preserving the current state. More... | |
Loc | getLValue (const VarDecl *D, const LocationContext *LC) const |
Get the lvalue for a variable reference. More... | |
Loc | getLValue (const CompoundLiteralExpr *literal, const LocationContext *LC) const |
SVal | getLValue (const ObjCIvarDecl *decl, SVal base) const |
Get the lvalue for an ivar reference. More... | |
SVal | getLValue (const FieldDecl *decl, SVal Base) const |
Get the lvalue for a field reference. More... | |
SVal | getLValue (const IndirectFieldDecl *decl, SVal Base) const |
Get the lvalue for an indirect field reference. More... | |
SVal | getLValue (QualType ElementType, SVal Idx, SVal Base) const |
Get the lvalue for an array index. More... | |
SVal | getSVal (const Stmt *S, const LocationContext *LCtx) const |
Returns the SVal bound to the statement 'S' in the state's environment. More... | |
SVal | getSValAsScalarOrLoc (const Stmt *Ex, const LocationContext *LCtx) const |
SVal | getSVal (Loc LV, QualType T=QualType()) const |
Return the value bound to the specified location. More... | |
SVal | getRawSVal (Loc LV, QualType T=QualType()) const |
Returns the "raw" SVal bound to LV before any value simplfication. More... | |
SVal | getSVal (const MemRegion *R) const |
Return the value bound to the specified location. More... | |
SVal | getSValAsScalarOrLoc (const MemRegion *R) const |
bool | scanReachableSymbols (SVal val, SymbolVisitor &visitor) const |
Visits the symbols reachable from the given SVal using the provided SymbolVisitor. More... | |
bool | scanReachableSymbols (const SVal *I, const SVal *E, SymbolVisitor &visitor) const |
Visits the symbols reachable from the SVals in the given range using the provided SymbolVisitor. More... | |
bool | scanReachableSymbols (const MemRegion *const *I, const MemRegion *const *E, SymbolVisitor &visitor) const |
Visits the symbols reachable from the regions in the given MemRegions range using the provided SymbolVisitor. More... | |
template<typename CB > | |
CB | scanReachableSymbols (SVal val) const |
template<typename CB > | |
CB | scanReachableSymbols (const SVal *beg, const SVal *end) const |
template<typename CB > | |
CB | scanReachableSymbols (const MemRegion *const *beg, const MemRegion *const *end) const |
ProgramStateRef | addTaint (const Stmt *S, const LocationContext *LCtx, TaintTagType Kind=TaintTagGeneric) const |
Create a new state in which the statement is marked as tainted. More... | |
ProgramStateRef | addTaint (SymbolRef S, TaintTagType Kind=TaintTagGeneric) const |
Create a new state in which the symbol is marked as tainted. More... | |
ProgramStateRef | addTaint (const MemRegion *R, TaintTagType Kind=TaintTagGeneric) const |
Create a new state in which the region symbol is marked as tainted. More... | |
bool | isTainted (const Stmt *S, const LocationContext *LCtx, TaintTagType Kind=TaintTagGeneric) const |
Check if the statement is tainted in the current state. More... | |
bool | isTainted (SVal V, TaintTagType Kind=TaintTagGeneric) const |
bool | isTainted (SymbolRef Sym, TaintTagType Kind=TaintTagGeneric) const |
bool | isTainted (const MemRegion *Reg, TaintTagType Kind=TaintTagGeneric) const |
void *const * | FindGDM (void *K) const |
template<typename T > | |
ProgramStateRef | add (typename ProgramStateTrait< T >::key_type K) const |
template<typename T > | |
ProgramStateTrait< T >::data_type | get () const |
template<typename T > | |
ProgramStateTrait< T >::lookup_type | get (typename ProgramStateTrait< T >::key_type key) const |
template<typename T > | |
ProgramStateTrait< T > ::context_type | get_context () const |
template<typename T > | |
ProgramStateRef | remove (typename ProgramStateTrait< T >::key_type K) const |
template<typename T > | |
ProgramStateRef | remove (typename ProgramStateTrait< T >::key_type K, typename ProgramStateTrait< T >::context_type C) const |
template<typename T > | |
ProgramStateRef | remove () const |
template<typename T > | |
ProgramStateRef | set (typename ProgramStateTrait< T >::data_type D) const |
template<typename T > | |
ProgramStateRef | set (typename ProgramStateTrait< T >::key_type K, typename ProgramStateTrait< T >::value_type E) const |
template<typename T > | |
ProgramStateRef | set (typename ProgramStateTrait< T >::key_type K, typename ProgramStateTrait< T >::value_type E, typename ProgramStateTrait< T >::context_type C) const |
template<typename T > | |
bool | contains (typename ProgramStateTrait< T >::key_type key) const |
void | print (raw_ostream &Out, const char *nl="\n", const char *sep="") const |
void | printDOT (raw_ostream &Out) const |
void | printTaint (raw_ostream &Out, const char *nl="\n", const char *sep="") const |
void | dump () const |
void | dumpTaint () const |
Static Public Member Functions | |
static void | Profile (llvm::FoldingSetNodeID &ID, const ProgramState *V) |
Profile - Profile the contents of a ProgramState object for use in a FoldingSet. More... | |
Friends | |
class | ProgramStateManager |
class | ExplodedGraph |
class | ExplodedNode |
void | ProgramStateRetain (const ProgramState *state) |
Increments the number of times this state is referenced. More... | |
void | ProgramStateRelease (const ProgramState *state) |
Decrement the number of times this state is referenced. More... | |
ProgramState - This class encapsulates:
Together these represent the "abstract state" of a program.
ProgramState is intended to be used as a functional object; that is, once it is created and made "persistent" in a FoldingSet, its values will never change.
Definition at line 74 of file ProgramState.h.
typedef llvm::ImmutableMap<void*, void*> clang::ento::ProgramState::GenericDataMap |
Definition at line 77 of file ProgramState.h.
typedef llvm::ImmutableSet<llvm::APSInt*> clang::ento::ProgramState::IntSetTy |
Definition at line 76 of file ProgramState.h.
ProgramState::ProgramState | ( | ProgramStateManager * | mgr, |
const Environment & | env, | ||
StoreRef | st, | ||
GenericDataMap | gdm | ||
) |
This ctor is used when creating the first ProgramState object.
Definition at line 45 of file ProgramState.cpp.
References clang::ento::ProgramStateManager::getStoreManager(), and clang::ento::StoreManager::incrementReferenceCount().
ProgramState::ProgramState | ( | const ProgramState & | RHS | ) |
Copy ctor - We must explicitly define this or else the "Next" ptr in FoldingSetNode will also get copied.
Definition at line 55 of file ProgramState.cpp.
References clang::ento::ProgramStateManager::getStoreManager(), and clang::ento::StoreManager::incrementReferenceCount().
ProgramState::~ProgramState | ( | ) |
Definition at line 65 of file ProgramState.cpp.
References clang::ento::StoreManager::decrementReferenceCount(), and clang::ento::ProgramStateManager::getStoreManager().
Referenced by clang::ento::ProgramStateRelease().
ProgramStateRef clang::ento::ProgramState::add | ( | typename ProgramStateTrait< T >::key_type | K | ) | const |
Definition at line 765 of file ProgramState.h.
References clang::ento::ProgramStateManager::add(), and getStateManager().
ProgramStateRef ProgramState::addTaint | ( | const Stmt * | S, |
const LocationContext * | LCtx, | ||
TaintTagType | Kind = TaintTagGeneric |
||
) | const |
Create a new state in which the statement is marked as tainted.
Definition at line 651 of file ProgramState.cpp.
References clang::ento::SVal::getAsRegion(), clang::ento::SVal::getAsSymbol(), getSVal(), and clang::Expr::IgnoreParens().
Referenced by addTaint().
ProgramStateRef ProgramState::addTaint | ( | SymbolRef | S, |
TaintTagType | Kind = TaintTagGeneric |
||
) | const |
Create a new state in which the symbol is marked as tainted.
Definition at line 675 of file ProgramState.cpp.
ProgramStateRef ProgramState::addTaint | ( | const MemRegion * | R, |
TaintTagType | Kind = TaintTagGeneric |
||
) | const |
Create a new state in which the region symbol is marked as tainted.
Definition at line 668 of file ProgramState.cpp.
References addTaint().
|
inline |
Assumes that the value of cond
is zero (if assumption
is "false") or non-zero (if assumption
is "true").
This returns a new state with the added constraint on cond
. If no new state is feasible, NULL is returned.
Definition at line 643 of file ProgramState.h.
References clang::ento::SVal::castAs(), getStateManager(), and clang::ento::SVal::isUnknown().
|
inline |
Assumes both "true" and "false" for cond
, and returns both corresponding states (respectively).
This is more efficient than calling assume() twice. Note that one (but not both) of the returned states may be NULL.
Definition at line 653 of file ProgramState.h.
References clang::ento::SVal::castAs(), getStateManager(), and clang::ento::SVal::isUnknown().
ProgramStateRef ProgramState::assumeInBound | ( | DefinedOrUnknownSVal | idx, |
DefinedOrUnknownSVal | upperBound, | ||
bool | assumption, | ||
QualType | IndexType = QualType() |
||
) | const |
Definition at line 304 of file ProgramState.cpp.
References clang::ento::ConstraintManager::assume(), clang::ento::SVal::castAs(), clang::ento::SValBuilder::evalBinOpNN(), clang::ento::SValBuilder::getBasicValueFactory(), clang::ento::ProgramStateManager::getConstraintManager(), clang::ento::SValBuilder::getContext(), clang::ento::BasicValueFactory::getMinValue(), getStateManager(), clang::ento::ProgramStateManager::getSValBuilder(), clang::ASTContext::IntTy, clang::QualType::isNull(), clang::ento::SVal::isUnknown(), clang::ento::SVal::isUnknownOrUndef(), and SM.
|
inline |
Assumes that the value of Val
is bounded with [From
; To
] (if assumption
is "true") or it is fully out of this range (if assumption
is "false").
This returns a new state with the added constraint on cond
. If no new state is feasible, NULL is returned.
Definition at line 662 of file ProgramState.h.
References clang::ento::SVal::castAs(), clang::ento::SVal::getAs(), getStateManager(), and clang::ento::SVal::isUnknown().
|
inline |
Assumes given range both "true" and "false" for Val
, and returns both corresponding states (respectively).
This is more efficient than calling assume() twice. Note that one (but not both) of the returned states may be NULL.
Definition at line 676 of file ProgramState.h.
References clang::ento::SVal::castAs(), clang::ento::SVal::getAs(), getStateManager(), and clang::ento::SVal::isUnknown().
ProgramStateRef ProgramState::bindDefault | ( | SVal | loc, |
SVal | V | ||
) | const |
Definition at line 125 of file ProgramState.cpp.
References clang::ento::SVal::castAs(), clang::ento::ProgramStateManager::getOwningEngine(), getRegion(), getStateManager(), getStore(), and clang::ento::SubEngine::processRegionChange().
ProgramStateRef ProgramState::BindExpr | ( | const Stmt * | S, |
const LocationContext * | LCtx, | ||
SVal | V, | ||
bool | Invalidate = true |
||
) | const |
Create a new state by binding the value 'V' to the statement 'S' in the state's environment.
Definition at line 290 of file ProgramState.cpp.
References clang::ento::EnvironmentManager::bindExpr(), clang::ento::ProgramStateManager::getPersistentState(), and getStateManager().
ProgramStateRef ProgramState::bindLoc | ( | Loc | location, |
SVal | V, | ||
bool | notifyChanges = true |
||
) | const |
Definition at line 114 of file ProgramState.cpp.
References clang::ento::SVal::getAsRegion(), clang::ento::ProgramStateManager::getOwningEngine(), getStateManager(), getStore(), and clang::ento::SubEngine::processRegionChange().
Referenced by bindLoc().
|
inline |
Definition at line 688 of file ProgramState.h.
References bindLoc(), and clang::ento::SVal::getAs().
|
inline |
Definition at line 410 of file ProgramState.h.
References FindGDM().
LLVM_DUMP_METHOD void ProgramState::dump | ( | ) | const |
Definition at line 442 of file ProgramState.cpp.
References print().
void ProgramState::dumpTaint | ( | ) | const |
Definition at line 458 of file ProgramState.cpp.
References printTaint().
ProgramStateRef ProgramState::enterStackFrame | ( | const CallEvent & | Call, |
const StackFrameContext * | CalleeCtx | ||
) | const |
enterStackFrame - Returns the state for entry to the given stack frame, preserving the current state.
Definition at line 228 of file ProgramState.cpp.
References getStateManager(), and getStore().
void *const * ProgramState::FindGDM | ( | void * | K | ) | const |
Definition at line 466 of file ProgramState.cpp.
Referenced by contains(), and get().
|
inline |
Definition at line 373 of file ProgramState.h.
References FindGDM(), and clang::ento::ProgramStateTrait< T >::MakeData().
|
inline |
Definition at line 379 of file ProgramState.h.
References FindGDM().
ProgramStateTrait< T >::context_type clang::ento::ProgramState::get_context | ( | ) | const |
Definition at line 770 of file ProgramState.h.
References clang::ento::ProgramStateManager::get_context(), and getStateManager().
|
inline |
Definition at line 756 of file ProgramState.h.
References clang::ento::ProgramStateManager::getBasicVals(), and getStateManager().
Referenced by getSVal().
|
inline |
Return the ConstraintManager.
Definition at line 633 of file ProgramState.h.
References clang::ento::ProgramStateManager::getConstraintManager().
|
inline |
getEnvironment - Return the environment associated with this state.
The environment is the mapping from expressions to values.
Definition at line 119 of file ProgramState.h.
|
inline |
getGDM - Return the generic data map associated with this state.
Definition at line 127 of file ProgramState.h.
|
inline |
Get the lvalue for a variable reference.
Definition at line 694 of file ProgramState.h.
References getStateManager().
Referenced by clang::ento::ConditionBRVisitor::patternMatch(), reversePropagateInterestingSymbols(), and clang::ento::ConditionBRVisitor::VisitConditionVariable().
|
inline |
Definition at line 699 of file ProgramState.h.
References getStateManager().
|
inline |
Get the lvalue for an ivar reference.
Definition at line 704 of file ProgramState.h.
References getStateManager().
Get the lvalue for a field reference.
Definition at line 708 of file ProgramState.h.
References getStateManager().
|
inline |
Get the lvalue for an indirect field reference.
Definition at line 712 of file ProgramState.h.
References clang::IndirectFieldDecl::chain(), clang::ento::StoreManager::getLValueField(), getStateManager(), I, and SM.
|
inline |
Get the lvalue for an array index.
Definition at line 722 of file ProgramState.h.
References clang::ento::SVal::getAs(), and getStateManager().
Returns the "raw" SVal bound to LV before any value simplfication.
Definition at line 747 of file ProgramState.h.
References getStateManager(), and getStore().
Referenced by getSVal(), and reversePropagateInterestingSymbols().
|
inline |
Utility method for getting regions.
Definition at line 637 of file ProgramState.h.
References clang::ento::ProgramStateManager::getRegionManager(), getStateManager(), and clang::ento::MemRegionManager::getVarRegion().
Referenced by bindDefault().
|
inline |
Return the ProgramStateManager associated with this state.
Definition at line 110 of file ProgramState.h.
Referenced by add(), assume(), assumeInBound(), assumeWithinInclusiveRange(), bindDefault(), BindExpr(), bindLoc(), enterStackFrame(), get_context(), getBasicVals(), getLValue(), getRawSVal(), getRegion(), getSVal(), getSymbolManager(), isNull(), killBinding(), print(), clang::ento::ProgramStateRelease(), remove(), and set().
|
inline |
Return the store associated with this state.
The store is a mapping from locations to values.
Definition at line 123 of file ProgramState.h.
Referenced by bindDefault(), bindLoc(), enterStackFrame(), getRawSVal(), getSVal(), killBinding(), print(), and clang::ento::ProgramStateManager::removeDeadBindings().
|
inline |
Returns the SVal bound to the statement 'S' in the state's environment.
Definition at line 728 of file ProgramState.h.
References getStateManager(), and clang::ento::Environment::getSVal().
Referenced by addTaint(), getSValAsScalarOrLoc(), isTainted(), clang::ento::ConditionBRVisitor::patternMatch(), and reversePropagateIntererstingSymbols().
Return the value bound to the specified location.
Returns UnknownVal() if none found.
Definition at line 251 of file ProgramState.cpp.
References clang::ento::BasicValueFactory::Convert(), clang::ento::SVal::getAs(), clang::ento::SVal::getAsSymbol(), getBasicVals(), clang::ento::ProgramStateManager::getConstraintManager(), getRawSVal(), getStateManager(), clang::ento::ConstraintManager::getSymVal(), and clang::QualType::isNull().
Return the value bound to the specified location.
Returns UnknownVal() if none found.
Definition at line 751 of file ProgramState.h.
References getStateManager(), and getStore().
|
inline |
Definition at line 735 of file ProgramState.h.
References getSVal(), clang::Type::isIntegralOrEnumerationType(), and clang::ento::Loc::isLocType().
Definition at line 235 of file ProgramState.cpp.
References getSVal(), clang::ento::MemRegion::isBoundable(), clang::Type::isIntegralOrEnumerationType(), and clang::ento::Loc::isLocType().
|
inline |
Definition at line 760 of file ProgramState.h.
References getStateManager(), and clang::ento::ProgramStateManager::getSymbolManager().
ProgramStateRef clang::ento::ProgramState::invalidateRegions | ( | ArrayRef< const MemRegion * > | Regions, |
const Expr * | E, | ||
unsigned | BlockCount, | ||
const LocationContext * | LCtx, | ||
bool | CausesPointerEscape, | ||
InvalidatedSymbols * | IS = nullptr , |
||
const CallEvent * | Call = nullptr , |
||
RegionAndSymbolInvalidationTraits * | ITraits = nullptr |
||
) | const |
Returns the state with bindings for the given regions cleared from the store.
Optionally invalidates global regions as well.
Regions | the set of regions to be invalidated. |
E | the expression that caused the invalidation. |
BlockCount | The number of times the current basic block has been |
CausesPointerEscape | the flag is set to true when the invalidation entails escape of a symbol (representing a pointer). For example, due to it being passed as an argument in a call. |
IS | the set of invalidated symbols. |
Call | if non-null, the invalidated regions represent parameters to the call and should be considered directly invalidated. |
ITraits | information about special handling for a particular region/symbol. |
ProgramStateRef clang::ento::ProgramState::invalidateRegions | ( | ArrayRef< SVal > | Regions, |
const Expr * | E, | ||
unsigned | BlockCount, | ||
const LocationContext * | LCtx, | ||
bool | CausesPointerEscape, | ||
InvalidatedSymbols * | IS = nullptr , |
||
const CallEvent * | Call = nullptr , |
||
RegionAndSymbolInvalidationTraits * | ITraits = nullptr |
||
) | const |
ConditionTruthVal ProgramState::isNull | ( | SVal | V | ) | const |
Check if the given SVal is constrained to zero or is a zero constant.
Definition at line 350 of file ProgramState.cpp.
References clang::ento::SVal::getAsSymbol(), getStateManager(), clang::ento::SVal::isConstant(), and clang::ento::SVal::isZeroConstant().
bool ProgramState::isTainted | ( | const Stmt * | S, |
const LocationContext * | LCtx, | ||
TaintTagType | Kind = TaintTagGeneric |
||
) | const |
Check if the statement is tainted in the current state.
Definition at line 687 of file ProgramState.cpp.
References getSVal(), and clang::Expr::IgnoreParens().
Referenced by isTainted().
bool ProgramState::isTainted | ( | SVal | V, |
TaintTagType | Kind = TaintTagGeneric |
||
) | const |
Definition at line 696 of file ProgramState.cpp.
References clang::ento::SVal::getAsRegion(), clang::ento::SVal::getAsSymExpr(), and isTainted().
bool ProgramState::isTainted | ( | SymbolRef | Sym, |
TaintTagType | Kind = TaintTagGeneric |
||
) | const |
Definition at line 722 of file ProgramState.cpp.
References isTainted(), clang::ento::SymExpr::symbol_begin(), and clang::ento::SymExpr::symbol_end().
bool ProgramState::isTainted | ( | const MemRegion * | Reg, |
TaintTagType | Kind = TaintTagGeneric |
||
) | const |
Definition at line 704 of file ProgramState.cpp.
References isTainted().
ProgramStateRef ProgramState::killBinding | ( | Loc | LV | ) | const |
Definition at line 214 of file ProgramState.cpp.
References clang::ento::SVal::getAs(), getStateManager(), clang::ento::StoreRef::getStore(), and getStore().
void ProgramState::print | ( | raw_ostream & | Out, |
const char * | nl = "\n" , |
||
const char * | sep = "" |
||
) | const |
Definition at line 422 of file ProgramState.cpp.
References clang::ento::ProgramStateManager::getConstraintManager(), clang::ento::ProgramStateManager::getOwningEngine(), getStateManager(), getStore(), clang::ento::ProgramStateManager::getStoreManager(), clang::ento::Environment::print(), clang::ento::ConstraintManager::print(), clang::ento::StoreManager::print(), and clang::ento::SubEngine::printState().
Referenced by dump(), and printDOT().
void ProgramState::printDOT | ( | raw_ostream & | Out | ) | const |
Definition at line 438 of file ProgramState.cpp.
References print().
void ProgramState::printTaint | ( | raw_ostream & | Out, |
const char * | nl = "\n" , |
||
const char * | sep = "" |
||
) | const |
|
inlinestatic |
Profile - Profile the contents of a ProgramState object for use in a FoldingSet.
Two ProgramState objects are considered equal if they have the same Environment, Store, and GenericDataMap.
Definition at line 134 of file ProgramState.h.
References clang::ento::Environment::Profile().
Referenced by clang::ento::ProgramStateManager::getPersistentState(), and Profile().
|
inline |
Profile - Used to profile the contents of this object for inclusion in a FoldingSet.
Definition at line 142 of file ProgramState.h.
References Profile().
ProgramStateRef clang::ento::ProgramState::remove | ( | typename ProgramStateTrait< T >::key_type | K | ) | const |
Definition at line 775 of file ProgramState.h.
References getStateManager(), and clang::ento::ProgramStateManager::remove().
ProgramStateRef clang::ento::ProgramState::remove | ( | typename ProgramStateTrait< T >::key_type | K, |
typename ProgramStateTrait< T >::context_type | C | ||
) | const |
Definition at line 780 of file ProgramState.h.
References AttributeLangSupport::C, getStateManager(), and clang::ento::ProgramStateManager::remove().
ProgramStateRef clang::ento::ProgramState::remove | ( | ) | const |
Definition at line 786 of file ProgramState.h.
References getStateManager(), and clang::ento::ProgramStateManager::remove().
bool ProgramState::scanReachableSymbols | ( | SVal | val, |
SymbolVisitor & | visitor | ||
) | const |
Visits the symbols reachable from the given SVal using the provided SymbolVisitor.
This is a convenience API. Consider using ScanReachableSymbols class directly when making multiple scans on the same state with the same visitor to avoid repeated initialization cost.
Definition at line 625 of file ProgramState.cpp.
References S, and clang::ento::ScanReachableSymbols::scan().
Referenced by scanReachableSymbols().
bool ProgramState::scanReachableSymbols | ( | const SVal * | I, |
const SVal * | E, | ||
SymbolVisitor & | visitor | ||
) | const |
Visits the symbols reachable from the SVals in the given range using the provided SymbolVisitor.
Definition at line 630 of file ProgramState.cpp.
References E, I, S, and clang::ento::ScanReachableSymbols::scan().
bool ProgramState::scanReachableSymbols | ( | const MemRegion *const * | I, |
const MemRegion *const * | E, | ||
SymbolVisitor & | visitor | ||
) | const |
Visits the symbols reachable from the regions in the given MemRegions range using the provided SymbolVisitor.
Definition at line 640 of file ProgramState.cpp.
References E, I, S, and clang::ento::ScanReachableSymbols::scan().
CB clang::ento::ProgramState::scanReachableSymbols | ( | SVal | val | ) | const |
Definition at line 809 of file ProgramState.h.
References scanReachableSymbols().
CB clang::ento::ProgramState::scanReachableSymbols | ( | const SVal * | beg, |
const SVal * | end | ||
) | const |
Definition at line 816 of file ProgramState.h.
References scanReachableSymbols().
CB clang::ento::ProgramState::scanReachableSymbols | ( | const MemRegion *const * | beg, |
const MemRegion *const * | end | ||
) | const |
Definition at line 823 of file ProgramState.h.
References scanReachableSymbols().
ProgramStateRef clang::ento::ProgramState::set | ( | typename ProgramStateTrait< T >::data_type | D | ) | const |
Definition at line 791 of file ProgramState.h.
References getStateManager(), and clang::ento::ProgramStateManager::set().
ProgramStateRef clang::ento::ProgramState::set | ( | typename ProgramStateTrait< T >::key_type | K, |
typename ProgramStateTrait< T >::value_type | E | ||
) | const |
Definition at line 796 of file ProgramState.h.
References E, getStateManager(), and clang::ento::ProgramStateManager::set().
ProgramStateRef clang::ento::ProgramState::set | ( | typename ProgramStateTrait< T >::key_type | K, |
typename ProgramStateTrait< T >::value_type | E, | ||
typename ProgramStateTrait< T >::context_type | C | ||
) | const |
Definition at line 802 of file ProgramState.h.
References AttributeLangSupport::C, E, getStateManager(), and clang::ento::ProgramStateManager::set().
|
inline |
Definition at line 129 of file ProgramState.h.
|
friend |
Definition at line 83 of file ProgramState.h.
|
friend |
Definition at line 84 of file ProgramState.h.
|
friend |
Definition at line 82 of file ProgramState.h.
|
friend |
Decrement the number of times this state is referenced.
Definition at line 33 of file ProgramState.cpp.
|
friend |
Increments the number of times this state is referenced.
Definition at line 28 of file ProgramState.cpp.