Searched defs:scanReachableSymbols (Results 1 – 3 of 3) sorted by relevance
773 CB ProgramState::scanReachableSymbols(SVal val) const { in scanReachableSymbols() function780 CB ProgramState::scanReachableSymbols(const SVal *beg, const SVal *end) const { in scanReachableSymbols() function787 CB ProgramState::scanReachableSymbols(const MemRegion * const *beg, in scanReachableSymbols() function
625 bool ProgramState::scanReachableSymbols(SVal val, SymbolVisitor& visitor) const { in scanReachableSymbols() function in ProgramState630 bool ProgramState::scanReachableSymbols(const SVal *I, const SVal *E, in scanReachableSymbols() function in ProgramState640 bool ProgramState::scanReachableSymbols(const MemRegion * const *I, in scanReachableSymbols() function in ProgramState
745 bool RegionStoreManager::scanReachableSymbols(Store S, const MemRegion *R, in scanReachableSymbols() function in RegionStoreManager