1The combined proofs in the subdirectories prove that ARPGetCacheEntry
2is memory safe for all possible combinations of ipconfigARP_STORES_REMOTE_ADDRESSES
3and ipconfigUSE_LLMNR. These are the only configuration
4parameters used inside the ARPGetCacheEntry.
5
