Safe kernel extensions without run-time checking
TheBSD PacketFilter: A New Architecturefor User-levelPacketCapture