non ci sarà mai un algoritmo in grado di trovare tutti i bug in un contratto