clang::ento::ScanReachableSymbols Class Reference

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)

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 890 of file ProgramState.h.

Constructor & Destructor Documentation

ScanReachableSymbols()

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

inline

Definition at line 897 of file ProgramState.h.

Member Function Documentation

scan() [1/5]

bool ScanReachableSymbols::scan

(

const MemRegion *

R

)

Definition at line 630 of file ProgramState.cpp.

References clang::isa(), scan(), and clang::ento::StoreManager::scanReachableSymbols().

scan() [2/5]

bool ScanReachableSymbols::scan

(

const SymExpr *

sym

)

Definition at line 597 of file ProgramState.cpp.

References clang::ento::SymExpr::symbols().

scan() [3/5]

bool ScanReachableSymbols::scan

(

nonloc::CompoundVal

val

)

Definition at line 589 of file ProgramState.cpp.

References scan(), and V.

scan() [4/5]

bool ScanReachableSymbols::scan

(

nonloc::LazyCompoundVal

val

)

Definition at line 576 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(), scan(), scan(), clang::ento::ProgramState::scanReachableSymbols(), and clang::ento::ProgramState::scanReachableSymbols().

scan() [5/5]

bool ScanReachableSymbols::scan

(

SVal

val

)

Definition at line 610 of file ProgramState.cpp.

References clang::ento::SVal::getAs(), clang::ento::SVal::getAsSymbol(), scan(), and X.

---

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

• include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
• lib/StaticAnalyzer/Core/ProgramState.cpp