clang  13.0.0git
Public Member Functions | List of all members
clang::ento::ScanReachableSymbols Class Reference

#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)

Detailed Description

A utility class that visits the reachable symbols using a custom SymbolVisitor. Terminates recursive traversal when the visitor function returns false.

Definition at line 865 of file ProgramState.h.

Constructor & Destructor Documentation

◆ ScanReachableSymbols()

clang::ento::ScanReachableSymbols::ScanReachableSymbols ( ProgramStateRef  st,
SymbolVisitor v 

Definition at line 872 of file ProgramState.h.

References state.

Member Function Documentation

◆ scan() [1/5]

bool ScanReachableSymbols::scan ( const MemRegion R)

◆ scan() [2/5]

bool ScanReachableSymbols::scan ( const SymExpr sym)

◆ scan() [3/5]

bool ScanReachableSymbols::scan ( nonloc::CompoundVal  val)

◆ scan() [4/5]

bool ScanReachableSymbols::scan ( nonloc::LazyCompoundVal  val)

◆ scan() [5/5]

bool ScanReachableSymbols::scan ( SVal  val)

The documentation for this class was generated from the following files: