Syntax-based Vulnerability Testing of Frame-based Network Protocols