|
clang
5.0.0
|
A utility class that visits the reachable symbols using a custom SymbolVisitor. More...
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
Public Member Functions | |
| ScanReachableSymbols (ProgramStateRef st, SymbolVisitor &v) | |
| bool | scan (nonloc::LazyCompoundVal val) |
| bool | scan (nonloc::CompoundVal val) |
| bool | scan (SVal val) |
| bool | scan (const MemRegion *R) |
| bool | scan (const SymExpr *sym) |
A utility class that visits the reachable symbols using a custom SymbolVisitor.
Terminates recursive traversal when the visitor function returns false.
Definition at line 844 of file ProgramState.h.
|
inline |
Definition at line 851 of file ProgramState.h.
| bool ScanReachableSymbols::scan | ( | nonloc::LazyCompoundVal | val | ) |
Definition at line 513 of file ProgramState.cpp.
References clang::ento::MemRegion::getBaseRegion(), clang::ento::nonloc::LazyCompoundVal::getCVData(), clang::ento::nonloc::LazyCompoundVal::getRegion(), clang::ento::nonloc::LazyCompoundVal::getStore(), and clang::ento::StoreManager::scanReachableSymbols().
Referenced by clang::ento::EnvironmentManager::removeDeadBindings(), scan(), and clang::ento::ProgramState::scanReachableSymbols().
| bool ScanReachableSymbols::scan | ( | nonloc::CompoundVal | val | ) |
Definition at line 526 of file ProgramState.cpp.
References clang::ento::nonloc::CompoundVal::begin(), E, clang::ento::nonloc::CompoundVal::end(), I, and scan().
Definition at line 549 of file ProgramState.cpp.
References clang::ento::SVal::getAs(), clang::ento::SVal::getAsSymbol(), clang::ento::SVal::getAsSymbolicExpression(), scan(), and X.
Definition at line 534 of file ProgramState.cpp.
References clang::if(), clang::ento::SymExpr::symbol_begin(), clang::ento::SymExpr::symbol_end(), and clang::ento::SymbolVisitor::VisitSymbol().
1.8.6