Searched defs:scanReachableSymbols (Results 1 – 3 of 3) sorted by relevance
774 CB ProgramState::scanReachableSymbols(SVal val) const { in scanReachableSymbols() function781 CB ProgramState::scanReachableSymbols(const SVal *beg, const SVal *end) const { in scanReachableSymbols() function788 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
746 bool RegionStoreManager::scanReachableSymbols(Store S, const MemRegion *R, in scanReachableSymbols() function in RegionStoreManager