clang  6.0.0svn
clang::ento::ProgramState Member List

This is the complete list of members for clang::ento::ProgramState, including all inherited members.

add(typename ProgramStateTrait< T >::key_type K) constclang::ento::ProgramState
addPartialTaint(SymbolRef ParentSym, const SubRegion *SubRegion, TaintTagType Kind=TaintTagGeneric) constclang::ento::ProgramState
addTaint(const Stmt *S, const LocationContext *LCtx, TaintTagType Kind=TaintTagGeneric) constclang::ento::ProgramState
addTaint(SVal V, TaintTagType Kind=TaintTagGeneric) constclang::ento::ProgramState
addTaint(SymbolRef S, TaintTagType Kind=TaintTagGeneric) constclang::ento::ProgramState
addTaint(const MemRegion *R, TaintTagType Kind=TaintTagGeneric) constclang::ento::ProgramState
assume(DefinedOrUnknownSVal cond, bool assumption) constclang::ento::ProgramStateinline
assume(DefinedOrUnknownSVal cond) constclang::ento::ProgramStateinline
assumeInBound(DefinedOrUnknownSVal idx, DefinedOrUnknownSVal upperBound, bool assumption, QualType IndexType=QualType()) constclang::ento::ProgramState
assumeInclusiveRange(DefinedOrUnknownSVal Val, const llvm::APSInt &From, const llvm::APSInt &To, bool assumption) constclang::ento::ProgramStateinline
assumeInclusiveRange(DefinedOrUnknownSVal Val, const llvm::APSInt &From, const llvm::APSInt &To) constclang::ento::ProgramStateinline
bindDefault(SVal loc, SVal V, const LocationContext *LCtx) constclang::ento::ProgramState
BindExpr(const Stmt *S, const LocationContext *LCtx, SVal V, bool Invalidate=true) constclang::ento::ProgramState
bindLoc(Loc location, SVal V, const LocationContext *LCtx, bool notifyChanges=true) constclang::ento::ProgramState
bindLoc(SVal location, SVal V, const LocationContext *LCtx) constclang::ento::ProgramStateinline
contains(typename ProgramStateTrait< T >::key_type key) constclang::ento::ProgramStateinline
dump() constclang::ento::ProgramState
dumpTaint() constclang::ento::ProgramState
enterStackFrame(const CallEvent &Call, const StackFrameContext *CalleeCtx) constclang::ento::ProgramState
ExplodedGraph classclang::ento::ProgramStatefriend
ExplodedNode classclang::ento::ProgramStatefriend
FindGDM(void *K) constclang::ento::ProgramState
GenericDataMap typedefclang::ento::ProgramState
get() constclang::ento::ProgramStateinline
get(typename ProgramStateTrait< T >::key_type key) constclang::ento::ProgramStateinline
get_context() constclang::ento::ProgramState
getBasicVals() constclang::ento::ProgramStateinline
getConstraintManager() constclang::ento::ProgramStateinline
getEnvironment() constclang::ento::ProgramStateinline
getGDM() constclang::ento::ProgramStateinline
getLValue(const VarDecl *D, const LocationContext *LC) constclang::ento::ProgramStateinline
getLValue(const CompoundLiteralExpr *literal, const LocationContext *LC) constclang::ento::ProgramStateinline
getLValue(const ObjCIvarDecl *decl, SVal base) constclang::ento::ProgramStateinline
getLValue(const FieldDecl *decl, SVal Base) constclang::ento::ProgramStateinline
getLValue(const IndirectFieldDecl *decl, SVal Base) constclang::ento::ProgramStateinline
getLValue(QualType ElementType, SVal Idx, SVal Base) constclang::ento::ProgramStateinline
getRawSVal(Loc LV, QualType T=QualType()) constclang::ento::ProgramStateinline
getRegion(const VarDecl *D, const LocationContext *LC) constclang::ento::ProgramStateinline
getStateManager() constclang::ento::ProgramStateinline
getStore() constclang::ento::ProgramStateinline
getSVal(const Stmt *S, const LocationContext *LCtx) constclang::ento::ProgramStateinline
getSVal(Loc LV, QualType T=QualType()) constclang::ento::ProgramState
getSVal(const MemRegion *R, QualType T=QualType()) constclang::ento::ProgramStateinline
getSValAsScalarOrLoc(const Stmt *Ex, const LocationContext *LCtx) constclang::ento::ProgramStateinline
getSValAsScalarOrLoc(const MemRegion *R) constclang::ento::ProgramState
getSymbolManager() constclang::ento::ProgramStateinline
IntSetTy typedefclang::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) constclang::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) constclang::ento::ProgramState
isNull(SVal V) constclang::ento::ProgramState
isTainted(const Stmt *S, const LocationContext *LCtx, TaintTagType Kind=TaintTagGeneric) constclang::ento::ProgramState
isTainted(SVal V, TaintTagType Kind=TaintTagGeneric) constclang::ento::ProgramState
isTainted(SymbolRef Sym, TaintTagType Kind=TaintTagGeneric) constclang::ento::ProgramState
isTainted(const MemRegion *Reg, TaintTagType Kind=TaintTagGeneric) constclang::ento::ProgramState
killBinding(Loc LV) constclang::ento::ProgramState
print(raw_ostream &Out, const char *nl="\, const char *sep="") constclang::ento::ProgramState
printDOT(raw_ostream &Out) constclang::ento::ProgramState
printTaint(raw_ostream &Out, const char *nl="\, const char *sep="") constclang::ento::ProgramState
Profile(llvm::FoldingSetNodeID &ID, const ProgramState *V)clang::ento::ProgramStateinlinestatic
Profile(llvm::FoldingSetNodeID &ID) constclang::ento::ProgramStateinline
ProgramState(ProgramStateManager *mgr, const Environment &env, StoreRef st, GenericDataMap gdm)clang::ento::ProgramState
ProgramState(const ProgramState &RHS)clang::ento::ProgramState
ProgramStateManager classclang::ento::ProgramStatefriend
ProgramStateRelease(const ProgramState *state)clang::ento::ProgramStatefriend
ProgramStateRetain(const ProgramState *state)clang::ento::ProgramStatefriend
remove(typename ProgramStateTrait< T >::key_type K) constclang::ento::ProgramState
remove(typename ProgramStateTrait< T >::key_type K, typename ProgramStateTrait< T >::context_type C) constclang::ento::ProgramState
remove() constclang::ento::ProgramState
scanReachableSymbols(SVal val, SymbolVisitor &visitor) constclang::ento::ProgramState
scanReachableSymbols(const SVal *I, const SVal *E, SymbolVisitor &visitor) constclang::ento::ProgramState
scanReachableSymbols(const MemRegion *const *I, const MemRegion *const *E, SymbolVisitor &visitor) constclang::ento::ProgramState
scanReachableSymbols(SVal val) constclang::ento::ProgramState
scanReachableSymbols(const SVal *beg, const SVal *end) constclang::ento::ProgramState
scanReachableSymbols(const MemRegion *const *beg, const MemRegion *const *end) constclang::ento::ProgramState
set(typename ProgramStateTrait< T >::data_type D) constclang::ento::ProgramState
set(typename ProgramStateTrait< T >::key_type K, typename ProgramStateTrait< T >::value_type E) constclang::ento::ProgramState
set(typename ProgramStateTrait< T >::key_type K, typename ProgramStateTrait< T >::value_type E, typename ProgramStateTrait< T >::context_type C) constclang::ento::ProgramState
setGDM(GenericDataMap gdm)clang::ento::ProgramStateinline
~ProgramState()clang::ento::ProgramState