Инструмент статического анализа Slither

[uncle_goga]

Можно облегчить себе жизнь и поставить слизер как аддон для вс кода, он не позволит скомпилироваться, если присутствуют ошибки уровня high & critical, но тем не менее, это не панацея, особенно для свежих компиляторов

[pnaydanovgoo]

В моем идеальном мире, разработчик смарт-контракта должен использовать slither до того, как передает код на аудит. Поэтому исследователи на безопасность должны увидеть чистый отчет slither)