Protocol guided mutation fuzzing to automatically discover vulnerability in commercial IoT devices | Synapse