#include <ProgramState.h>
Public Member Functions | |
| ScanReachableSymbols (ProgramStateRef st, SymbolVisitor &v) | |
| bool | scan (nonloc::CompoundVal val) |
| bool | scan (SVal val) |
| bool | scan (const MemRegion *R) |
| bool | scan (const SymExpr *sym) |
| bool | Visit (const MemRegion *Parent, const MemRegion *SubRegion) |
Detailed Description
A Utility class that allows to visit the reachable symbols using a custom SymbolVisitor.
Definition at line 768 of file ProgramState.h.
Constructor & Destructor Documentation
| clang::ento::ScanReachableSymbols::ScanReachableSymbols | ( | ProgramStateRef | st, |
| SymbolVisitor & | v | ||
| ) | [inline] |
Definition at line 778 of file ProgramState.h.
Member Function Documentation
| bool ScanReachableSymbols::scan | ( | nonloc::CompoundVal | val | ) |
Definition at line 490 of file ProgramState.cpp.
References clang::ento::nonloc::CompoundVal::begin(), and clang::ento::nonloc::CompoundVal::end().
Referenced by clang::ento::StoreManager::removeDeadBindings(), scan(), and Visit().
| bool ScanReachableSymbols::scan | ( | SVal | val | ) |
Definition at line 529 of file ProgramState.cpp.
References clang::ento::SVal::getAsSymbol(), clang::ento::SVal::getAsSymbolicExpression(), and scan().
| bool ScanReachableSymbols::scan | ( | const MemRegion * | R | ) |
Definition at line 548 of file ProgramState.cpp.
References scan(), clang::ento::SymbolVisitor::VisitMemRegion(), and clang::ento::SymbolVisitor::VisitSymbol().
| bool ScanReachableSymbols::scan | ( | const SymExpr * | sym | ) |
Definition at line 498 of file ProgramState.cpp.
References clang::ento::SymExpr::CastSymbolKind, clang::ento::SymExpr::ConjuredKind, clang::ento::SymExpr::DerivedKind, clang::ento::SymExpr::ExtentKind, clang::ento::SymExpr::getKind(), clang::ento::SymSymExpr::getLHS(), clang::ento::SymSymExpr::getRHS(), clang::ento::SymExpr::IntSymKind, clang::ento::SymExpr::MetadataKind, clang::ento::SymExpr::RegionValueKind, scan(), clang::ento::SymExpr::SymIntKind, clang::ento::SymExpr::SymSymKind, and clang::ento::SymbolVisitor::VisitSymbol().
| bool clang::ento::ScanReachableSymbols::Visit | ( | const MemRegion * | Parent, |
| const MemRegion * | SubRegion | ||
| ) | [inline, virtual] |
Implements clang::ento::SubRegionMap::Visitor.
Definition at line 787 of file ProgramState.h.
References scan().
The documentation for this class was generated from the following files: