Ніколи не буде алгоритму, який виявить усі баги в контракті