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

Наш сайт: http://smartcontracts.smartdec.net/

Hi everyone! We are proud to present smart contract security tool called SmartCheck:
https://tool.smartdec.net
 It automatically checks smart contracts for security vulnerabilities and bad practices. It runs analysis on Solidity source code.
SmartCheck is free and doesn’t need installation.
As a security team we recommend any solidity developer to use it during developing and auditing smart contracts. We are already using it in our work.