class ScanReachableSymbols
Declaration
class ScanReachableSymbols { /* full declaration omitted */ };
Description
A utility class that visits the reachable symbols using a custom SymbolVisitor. Terminates recursive traversal when the visitor function returns false.
Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h:903
Member Variables
- private clang::ento::ScanReachableSymbols::VisitedItems visited
- private clang::ento::ProgramStateRef state
- private clang::ento::SymbolVisitor& visitor
Method Overview
- public ScanReachableSymbols(clang::ento::ProgramStateRef st, clang::ento::SymbolVisitor & v)
- public bool scan(nonloc::LazyCompoundVal val)
- public bool scan(nonloc::CompoundVal val)
- public bool scan(clang::ento::SVal val)
- public bool scan(const clang::ento::MemRegion * R)
- public bool scan(const clang::ento::SymExpr * sym)
Methods
¶ScanReachableSymbols(
clang::ento::ProgramStateRef st,
clang::ento::SymbolVisitor& v)
ScanReachableSymbols(
clang::ento::ProgramStateRef st,
clang::ento::SymbolVisitor& v)
Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h:910
Parameters
¶bool scan(nonloc::LazyCompoundVal val)
bool scan(nonloc::LazyCompoundVal val)
Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h:913
Parameters
¶bool scan(nonloc::CompoundVal val)
bool scan(nonloc::CompoundVal val)
Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h:914
Parameters
¶bool scan(clang::ento::SVal val)
bool scan(clang::ento::SVal val)
Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h:915
Parameters
¶bool scan(const clang::ento::MemRegion* R)
bool scan(const clang::ento::MemRegion* R)
Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h:916
Parameters
- const clang::ento::MemRegion* R
¶bool scan(const clang::ento::SymExpr* sym)
bool scan(const clang::ento::SymExpr* sym)
Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h:917
Parameters
- const clang::ento::SymExpr* sym