Ошибки в смарт-контрактах или новый Security Alert от Parity

> Почему до сих пор нет средств статического анализа кода на Solidity? (неиницилизированная переменная — ну как можно?
Будут появляться, нужно время. Сначала и code-completion и подсветки синтаксиса не было. Да и функция уничтожения контракта в целом обычная практика, поможет ли тут статический анализ?