Symbolic value. These values used to capture symbolic execution of the program. More...
#include <SymbolManager.h>
Classes | |
| class | symbol_iterator |
| Iterator over symbols that the current symbol depends on. More... | |
Public Types | |
| enum | Kind { RegionValueKind, ConjuredKind, DerivedKind, ExtentKind, MetadataKind, BEGIN_SYMBOLS = RegionValueKind, END_SYMBOLS = MetadataKind, SymIntKind, IntSymKind, SymSymKind, CastSymbolKind } |
Public Member Functions | |
| virtual | ~SymExpr () |
| Kind | getKind () const |
| virtual void | dump () const |
| virtual void | dumpToStream (raw_ostream &os) const |
| virtual QualType | getType (ASTContext &) const =0 |
| virtual void | Profile (llvm::FoldingSetNodeID &profile)=0 |
| symbol_iterator | symbol_begin () const |
| unsigned | computeComplexity () const |
Static Public Member Functions | |
| static bool | classof (const SymExpr *) |
| static symbol_iterator | symbol_end () |
Protected Member Functions | |
| SymExpr (Kind k) | |
Detailed Description
Symbolic value. These values used to capture symbolic execution of the program.
Definition at line 45 of file SymbolManager.h.
Member Enumeration Documentation
- Enumerator:
RegionValueKind ConjuredKind DerivedKind ExtentKind MetadataKind BEGIN_SYMBOLS END_SYMBOLS SymIntKind IntSymKind SymSymKind CastSymbolKind
Definition at line 48 of file SymbolManager.h.
Constructor & Destructor Documentation
| clang::ento::SymExpr::SymExpr | ( | Kind | k | ) | [inline, protected] |
Definition at line 57 of file SymbolManager.h.
| virtual clang::ento::SymExpr::~SymExpr | ( | ) | [inline, virtual] |
Definition at line 60 of file SymbolManager.h.
Member Function Documentation
| static bool clang::ento::SymExpr::classof | ( | const SymExpr * | ) | [inline, static] |
Reimplemented in clang::ento::SymSymExpr, clang::ento::IntSymExpr, clang::ento::SymIntExpr, clang::ento::SymbolCast, clang::ento::SymbolMetadata, clang::ento::SymbolExtent, clang::ento::SymbolDerived, clang::ento::SymbolConjured, clang::ento::SymbolRegionValue, and clang::ento::SymbolData.
Definition at line 72 of file SymbolManager.h.
| unsigned SymExpr::computeComplexity | ( | ) | const |
Definition at line 167 of file SymbolManager.cpp.
Referenced by clang::ento::SValBuilder::makeSymExprValNN().
| virtual void clang::ento::SymExpr::dump | ( | ) | const [virtual] |
| virtual void clang::ento::SymExpr::dumpToStream | ( | raw_ostream & | os | ) | const [inline, virtual] |
Reimplemented in clang::ento::SymSymExpr, clang::ento::IntSymExpr, clang::ento::SymIntExpr, clang::ento::SymbolCast, clang::ento::SymbolMetadata, clang::ento::SymbolExtent, clang::ento::SymbolDerived, clang::ento::SymbolConjured, and clang::ento::SymbolRegionValue.
Definition at line 66 of file SymbolManager.h.
Referenced by llvm::operator<<().
| Kind clang::ento::SymExpr::getKind | ( | ) | const [inline] |
Definition at line 62 of file SymbolManager.h.
Referenced by clang::ento::SymbolData::classof(), clang::ento::SymbolRegionValue::classof(), clang::ento::SymbolConjured::classof(), clang::ento::SymbolDerived::classof(), clang::ento::SymbolExtent::classof(), clang::ento::SymbolMetadata::classof(), clang::ento::SymbolCast::classof(), clang::ento::SymIntExpr::classof(), clang::ento::IntSymExpr::classof(), clang::ento::SymSymExpr::classof(), and clang::ento::ScanReachableSymbols::scan().
| virtual QualType clang::ento::SymExpr::getType | ( | ASTContext & | ) | const [pure virtual] |
Implemented in clang::ento::SymSymExpr, clang::ento::IntSymExpr, clang::ento::SymIntExpr, clang::ento::SymbolCast, clang::ento::SymbolMetadata, clang::ento::SymbolExtent, clang::ento::SymbolDerived, clang::ento::SymbolConjured, and clang::ento::SymbolRegionValue.
Referenced by clang::ento::SimpleConstraintManager::assumeAuxForSymbol(), clang::ento::SimpleConstraintManager::assumeSymRel(), clang::ento::SymbolManager::getType(), and clang::ento::SValBuilder::haveSameType().
| virtual void clang::ento::SymExpr::Profile | ( | llvm::FoldingSetNodeID & | profile | ) | [pure virtual] |
| symbol_iterator clang::ento::SymExpr::symbol_begin | ( | ) | const [inline] |
Definition at line 93 of file SymbolManager.h.
Referenced by clang::ento::SVal::symbol_begin().
| static symbol_iterator clang::ento::SymExpr::symbol_end | ( | ) | [inline, static] |
Definition at line 96 of file SymbolManager.h.
The documentation for this class was generated from the following files: