Bug Oculto do TigerBeetle: Como o Fuzzing Sofisticado Falhou

A equipe do TigerBeetle descobriu um bug em seu mecanismo de consulta usando o Jepsen, surpreendentemente em um componente previamente submetido a fuzzing extensivo por quatro fuzzers separados. A investigação revelou um ponto cego na estratégia de geração de entrada do fuzzer, deixando certas combinações de consultas descobertas. Isso decorreu do fuzzer pré-registrar consultas durante a inicialização — uma simplificação que inadvertidamente restringiu a diversidade do espaço de entrada. Ao melhorar o fuzzer para gerar entradas mais aleatórias e realizar uma verificação mais precisa, o bug foi reproduzido e corrigido com sucesso. Este caso destaca como até mesmo estratégias de fuzzing sofisticadas podem ter pontos cegos, necessitando de uma combinação de abordagens de teste para garantir a qualidade abrangente do software.