Bug detection inspired by the netif example

Protocol-finding semantic match

Bug-finding semantic matches