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