В работе предложено использование статического и символьного анализа для обнаружения уязвимостей в смарт-контрактах. Даны общие понятия о технологии блокчейн и смарт-контрактах, а также проведена классификация уязвимостей смарт-контрактов. Представлены существующие инструменты безопасности смарт-контрактов. Разработаны модули для инструмента статического анализа Mythril, позволяющие обнаружить четыре различные уязвимости в смарт-контрактах блокчейна Ethereum.

The work proposed to use of static and symbolic analysis to detect vulnerabilities in smart contracts. The general concepts of blockchain technology and smart contracts, as well as the classification of vulnerabilities of smart contracts are given. Existing smart contract security tools are presented. The modules for the Mythril static analysis tool that allow detecting four different vulnerabilities in the Ethereum blockchain smart contracts are developed.