WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code