В своём докладе я расскажу про публично доступные инструменты для поиска ошибок и уязвимостей в смарт-контрактах Ethereum (без исходных кодов), опишу их сильные и слабые стороны. Отдельно будет раскрыта тема использования символьного выполнения, будут показаны примеры его применения.

Кроме того, слушатели узнают о технических проблемах реализации таких инструментов и о том, к чему может привести их развитие. В докладе я затрону тему фаззинга контрактов и расскажу, почему считаю её перспективной.