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

Constructor & Destructor Documentation

ScanReachableSymbols()

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

inline

Definition at line 892 of file ProgramState.h.

Member Function Documentation

scan() [1/5]

bool ScanReachableSymbols::scan

(

const MemRegion *

R

)

Definition at line 615 of file ProgramState.cpp.

References scan(), clang::ento::StoreManager::scanReachableSymbols(), clang::ento::SymbolVisitor::VisitMemRegion(), and clang::ento::SymbolVisitor::VisitSymbol().

scan() [2/5]

bool ScanReachableSymbols::scan

(

const SymExpr *

sym

)

Definition at line 582 of file ProgramState.cpp.

References clang::ento::SymExpr::symbols(), and clang::ento::SymbolVisitor::VisitSymbol().

scan() [3/5]

bool ScanReachableSymbols::scan

(

nonloc::CompoundVal

val

)

Definition at line 574 of file ProgramState.cpp.

References scan(), and V.

scan() [4/5]

bool ScanReachableSymbols::scan

(

nonloc::LazyCompoundVal

val

)

Definition at line 561 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(), and scan().

scan() [5/5]

bool ScanReachableSymbols::scan

(

SVal

val

)

Definition at line 595 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