Рекомендуем использовать при разработке и аудите смарт-контрактов SmartCheck:
https://tool.smartdec.net
Это статический анализатор кода. Он автоматически проверяет код контракта на наличие уязвимостей и дает подробное описание найденных проблем.
Мы уже используем его в наших аудитах безопасности.
Наш сайт: http://smartcontracts.smartdec.net/