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)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h:910

Parameters

clang::ento::ProgramStateRef st
clang::ento::SymbolVisitor& v

bool scan(nonloc::LazyCompoundVal val)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h:913

Parameters

nonloc::LazyCompoundVal val

bool scan(nonloc::CompoundVal val)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h:914

Parameters

nonloc::CompoundVal val

bool scan(clang::ento::SVal val)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h:915

Parameters

clang::ento::SVal val

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)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h:917

Parameters

const clang::ento::SymExpr* sym