Searched defs:scanReachableSymbols (Results 1 – 3 of 3) sorted by relevance
875 CB ProgramState::scanReachableSymbols(SVal val) const { in scanReachableSymbols() function882 CB ProgramState::scanReachableSymbols( in scanReachableSymbols() function
671 bool ProgramState::scanReachableSymbols(SVal val, SymbolVisitor& visitor) const { in scanReachableSymbols() function in ProgramState676 bool ProgramState::scanReachableSymbols( in scanReachableSymbols() function in ProgramState
783 bool RegionStoreManager::scanReachableSymbols(Store S, const MemRegion *R, in scanReachableSymbols() function in RegionStoreManager