Nunca haverá um algoritmo para encontrar todos os bugs em um contrato