FirmAFL: high-throughput greybox fuzzer for IoT firmware