Finding Specification Noncompliance and Attacks in Wireless Network Protocol Implementations