• Home
  • History
  • Annotate
Name Date Size #Lines LOC

..--

ARPGetCacheEntry_harness.cD18-Mar-20251.5 KiB5132

Configurations.jsonD18-Mar-20251 KiB4746

README.mdD18-Mar-2025255 54

README.md

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