|
clang
5.0.0
|
A symbol representing the value of a MemRegion whose parent region has symbolic value. More...
#include "clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h"
Public Member Functions | |
| SymbolDerived (SymbolID sym, SymbolRef parent, const TypedValueRegion *r) | |
| SymbolRef | getParentSymbol () const |
| const TypedValueRegion * | getRegion () const |
| QualType | getType () const override |
| void | dumpToStream (raw_ostream &os) const override |
| const MemRegion * | getOriginRegion () const override |
| Find the region from which this symbol originates. More... | |
| void | Profile (llvm::FoldingSetNodeID &profile) override |
Public Member Functions inherited from clang::ento::SymbolData | |
| ~SymbolData () override | |
| SymbolID | getSymbolID () const |
Public Member Functions inherited from clang::ento::SymExpr | |
| virtual | ~SymExpr () |
| Kind | getKind () const |
| virtual void | dump () const |
| symbol_iterator | symbol_begin () const |
| unsigned | computeComplexity () const |
Static Public Member Functions | |
| static void | Profile (llvm::FoldingSetNodeID &profile, SymbolRef parent, const TypedValueRegion *r) |
| static bool | classof (const SymExpr *SE) |
Static Public Member Functions inherited from clang::ento::SymbolData | |
| static bool | classof (const SymExpr *SE) |
Static Public Member Functions inherited from clang::ento::SymExpr | |
| static symbol_iterator | symbol_end () |
Additional Inherited Members | |
Public Types inherited from clang::ento::SymExpr | |
| enum | Kind |
Protected Member Functions inherited from clang::ento::SymbolData | |
| SymbolData (Kind k, SymbolID sym) | |
Protected Member Functions inherited from clang::ento::SymExpr | |
| SymExpr (Kind k) | |
Static Protected Member Functions inherited from clang::ento::SymExpr | |
| static bool | isValidTypeForSymbol (QualType T) |
A symbol representing the value of a MemRegion whose parent region has symbolic value.
Definition at line 128 of file SymbolManager.h.
|
inline |
Definition at line 133 of file SymbolManager.h.
References clang::ento::TypedValueRegion::getValueType(), and clang::ento::SymExpr::isValidTypeForSymbol().
Definition at line 160 of file SymbolManager.h.
References clang::ento::SymExpr::getKind().
|
overridevirtual |
Reimplemented from clang::ento::SymExpr.
Definition at line 71 of file SymbolManager.cpp.
References getParentSymbol(), getRegion(), and clang::ento::SymbolData::getSymbolID().
|
inlineoverridevirtual |
Find the region from which this symbol originates.
Whenever the symbol was constructed to denote an unknown value of a certain memory region, return this region. This method allows checkers to make decisions depending on the origin of the symbol. Symbol classes for which the origin region is known include SymbolRegionValue which denotes the value of the region before the beginning of the analysis, and SymbolDerived which denotes the value of a certain memory region after its super region (a memory space or a larger record region) is default-bound with a certain symbol.
Reimplemented from clang::ento::SymExpr.
Definition at line 146 of file SymbolManager.h.
References getRegion().
|
inline |
Definition at line 140 of file SymbolManager.h.
Referenced by dumpToStream(), and clang::ento::SValExplainer::VisitSymbolDerived().
|
inline |
Definition at line 141 of file SymbolManager.h.
Referenced by dumpToStream(), getOriginRegion(), and clang::ento::SValExplainer::VisitSymbolDerived().
|
overridevirtual |
Implements clang::ento::SymExpr.
Definition at line 313 of file SymbolManager.cpp.
|
inlinestatic |
Definition at line 148 of file SymbolManager.h.
Referenced by Profile().
|
inlineoverridevirtual |
Implements clang::ento::SymExpr.
Definition at line 155 of file SymbolManager.h.
References Profile().
1.8.6