il n'y aura jamais d'algorithme pour trouver tous les bugs dans un contrat