clang API Documentation
FindUniqueBinding(SymbolRef sym) | clang::ento::StoreManager::FindUniqueBinding | [inline] |
getRegion() | clang::ento::StoreManager::FindUniqueBinding | [inline] |
HandleBinding(StoreManager &SMgr, Store store, const MemRegion *R, SVal val) override | clang::ento::StoreManager::FindUniqueBinding | [virtual] |
operator bool() | clang::ento::StoreManager::FindUniqueBinding | [inline] |
~BindingsHandler() | clang::ento::StoreManager::BindingsHandler | [virtual] |