Resumo
Dentre as várias formas de verificar a implementação de um protocolo, os testes fuzzing merecem destaque, dado os bons resultados alcançados nos últimos anos tanto no sentido de cobrir o código que implementa um protocolo, quanto no sentido de encontrar bugs que podem causar falhas de segurança. Por exemplo, em 2017 o fuzzer OSS-Fuzz encontrou um bug que permitia vazamento de informação s…