title: ÐÐ±ÐµÑÐ¿ÐµÑÐµÐ½Ð¸Ðµ Ð±ÐµÐ·Ð¾Ð¿Ð°ÑÐ½Ð¾ÑÑÐ¸ Ð´ÐµÑÐµÐ½ÑÑÐ°Ð»Ð¸Ð·Ð¾Ð²Ð°Ð½Ð½ÑÑ Ð¿ÑÐ¸Ð»Ð¾Ð¶ÐµÐ½Ð¸Ð¹ Ð½Ð° Ð¾ÑÐ½Ð¾Ð²Ðµ Ð²ÑÑÐ²Ð»ÐµÐ½Ð¸Ñ ÑÑÐ·Ð²Ð¸Ð¼Ð¾ÑÑÐµÐ¹ Ð² ÑÐ¼Ð°ÑÑ-ÐºÐ¾Ð½ÑÑÐ°ÐºÑÐ°Ñ
title: Ð²ÑÐ¿ÑÑÐºÐ½Ð°Ñ ÐºÐ²Ð°Ð»Ð¸ÑÐ¸ÐºÐ°ÑÐ¸Ð¾Ð½Ð½Ð°Ñ ÑÐ°Ð±Ð¾ÑÐ° Ð±Ð°ÐºÐ°Ð»Ð°Ð²ÑÐ°
titleType: Subtitle
title: Ensuring the security of decentralized applications based on the detection of vulnerabilities in smart contracts
Creators: name: ÐÑÑÐ¸Ð½, ÐÐ»Ð°Ð´Ð¸Ð¼Ð¸Ñ
Publisher: name: Ð¡Ð°Ð½ÐºÑ-ÐÐµÑÐµÑÐ±ÑÑÐ³ÑÐºÐ¸Ð¹ Ð¿Ð¾Ð»Ð¸ÑÐµÑÐ½Ð¸ÑÐµÑÐºÐ¸Ð¹ ÑÐ½Ð¸Ð²ÐµÑÑÐ¸ÑÐµÑ ÐÐµÑÑÐ° ÐÐµÐ»Ð¸ÐºÐ¾Ð³Ð¾
Year: 2022
Subjects: Ð±Ð»Ð¾ÐºÑÐµÐ¹Ð½
Ð¿Ð¾Ð¸ÑÐº ÑÑÐ·Ð²Ð¸Ð¼Ð¾ÑÑÐµÐ¹
Etherium
Ð´ÐµÑÐµÐ½ÑÑÐ°Ð»Ð¸Ð·Ð¾Ð²Ð°Ð½Ð½Ð¾Ðµ Ð¿ÑÐ¸Ð»Ð¾Ð¶ÐµÐ½Ð¸Ðµ
ÑÐ¼Ð°ÑÑ-ÐºÐ¾Ð½ÑÑÐ°ÐºÑ
blockchain
vulnerability search
decentralized application
smart contract

description: Ð¢ÐµÐ¼Ð° Ð²ÑÐ¿ÑÑÐºÐ½Ð¾Ð¹ ÐºÐ²Ð°Ð»Ð¸ÑÐ¸ÐºÐ°ÑÐ¸Ð¾Ð½Ð½Ð¾Ð¹ ÑÐ°Ð±Ð¾ÑÑ: Â«ÐÐ±ÐµÑÐ¿ÐµÑÐµÐ½Ð¸Ðµ Ð±ÐµÐ·Ð¾Ð¿Ð°ÑÐ½Ð¾ÑÑÐ¸ Ð´ÐµÑÐµÐ½ÑÑÐ°Ð»Ð¸Ð·Ð¾Ð²Ð°Ð½Ð½ÑÑ Ð¿ÑÐ¸Ð»Ð¾Ð¶ÐµÐ½Ð¸Ð¹ Ð½Ð° Ð¾ÑÐ½Ð¾Ð²Ðµ Ð²ÑÑÐ²Ð»ÐµÐ½Ð¸Ñ ÑÑÐ·Ð²Ð¸Ð¼Ð¾ÑÑÐµÐ¹ Ð² ÑÐ¼Ð°ÑÑ-ÐºÐ¾Ð½ÑÑÐ°ÐºÑÐ°ÑÂ». ÐÐ°Ð½Ð½Ð°Ñ ÑÐ°Ð±Ð¾ÑÐ° Ð¿Ð¾ÑÐ²ÑÑÐµÐ½Ð° Ð¸ÑÑÐ»ÐµÐ´Ð¾Ð²Ð°Ð½Ð¸Ñ ÑÐµÑÐµÐ½Ð¸Ð¹ Ð°Ð²ÑÐ¾Ð¼Ð°ÑÐ¸Ð·Ð¸ÑÐ¾Ð²Ð°Ð½Ð½Ð¾Ð³Ð¾ Ð²ÑÑÐ²Ð»ÐµÐ½Ð¸Ñ ÑÑÐ·Ð²Ð¸Ð¼Ð¾ÑÑÐµÐ¹ Ð² ÑÐ¼Ð°ÑÑ-ÐºÐ¾Ð½ÑÑÐ°ÐºÑÐ°Ñ. ÐÐ±ÑÐµÐºÑÐ¾Ð¼ Ð¸ÑÑÐ»ÐµÐ´Ð¾Ð²Ð°Ð½Ð¸Ñ ÑÐ²Ð»ÑÑÑÑÑ ÑÐ¼Ð°ÑÑ ÐºÐ¾Ð½ÑÑÐ°ÐºÑÑ ÑÐµÑÐ¸ Ethereum, Ð¿ÑÐ¸Ð¼ÐµÐ½ÑÐµÐ¼ÑÐµ Ð² Ð´ÐµÑÐµÐ½ÑÑÐ°Ð»Ð¸Ð·Ð¾Ð²Ð°Ð½Ð½ÑÑ Ð¿ÑÐ¸Ð»Ð¾Ð¶ÐµÐ½Ð¸ÑÑ. ÐÑÐµÐ´Ð¼ÐµÑÐ¾Ð¼ Ð¸ÑÑÐ»ÐµÐ´Ð¾Ð²Ð°Ð½Ð¸Ñ ÑÐ²Ð»ÑÑÑÑÑ Ð¼ÐµÑÐ¾Ð´Ñ Ð¾Ð±Ð½Ð°ÑÑÐ¶ÐµÐ½Ð¸Ñ ÑÑÐ·Ð²Ð¸Ð¼Ð¾ÑÑÐµÐ¹ Ð² ÑÐ¼Ð°ÑÑ-ÐºÐ¾Ð½ÑÑÐ°ÐºÑÐ°Ñ. ÐÐ°Ð´Ð°ÑÐ¸, ÑÐµÑÐ°ÐµÐ¼ÑÐµ Ð² ÑÐ¾Ð´Ðµ Ð¸ÑÑÐ»ÐµÐ´Ð¾Ð²Ð°Ð½Ð¸Ñ:ÐÑÑÐ»ÐµÐ´Ð¾Ð²Ð°ÑÑ ÑÐµÑÐ½Ð¾Ð»Ð¾Ð³Ð¸Ñ ÑÐ°Ð±Ð¾ÑÑ Ð´ÐµÑÐµÐ½ÑÑÐ°Ð»Ð¸Ð·Ð¾Ð²Ð°Ð½Ð½ÑÑ Ð¿ÑÐ¸Ð»Ð¾Ð¶ÐµÐ½Ð¸Ð¹ Ð² Ð±Ð»Ð¾ÐºÑÐµÐ¹Ð½Ðµ. ÐÑÐ¾Ð²ÐµÑÑÐ¸ ÐºÐ»Ð°ÑÑÐ¸ÑÐ¸ÐºÐ°ÑÐ¸Ñ ÑÑÐ·Ð²Ð¸Ð¼Ð¾ÑÑÐµÐ¹ ÑÐ¼Ð°ÑÑ-ÐºÐ¾Ð½ÑÑÐ°ÐºÑÐ¾Ð² Ð¸ Ð¿ÑÐ¾Ð°Ð½Ð°Ð»Ð¸Ð·Ð¸ÑÐ¾Ð²Ð°ÑÑ ÑÑÑÐµÑÑÐ²ÑÑÑÐ¸Ðµ ÑÐµÑÐµÐ½Ð¸Ñ Ð´Ð»Ñ Ð²ÑÑÐ²Ð»ÐµÐ½Ð¸Ñ ÑÑÐ·Ð²Ð¸Ð¼Ð¾ÑÑÐµÐ¹. Ð¡ÑÐ¾ÑÐ¼Ð¸ÑÐ¾Ð²Ð°ÑÑ Ð¼Ð¾Ð´ÐµÐ»Ñ ÑÑÐ°ÑÐ¸ÑÐµÑÐºÐ¾Ð³Ð¾ Ð°Ð½Ð°Ð»Ð¸Ð·Ð° ÑÑÐ·Ð²Ð¸Ð¼Ð¾ÑÑÐµÐ¹. Ð Ð°Ð·ÑÐ°Ð±Ð¾ÑÐ°ÑÑ Ð¿ÑÐ¾Ð³ÑÐ°Ð¼Ð¼Ð½ÑÐµ ÑÑÐµÐ´ÑÑÐ²Ð° Ð´Ð»Ñ ÑÑÐ°ÑÐ¸ÑÐµÑÐºÐ¾Ð³Ð¾ Ð¿Ð¾Ð¸ÑÐºÐ° ÑÑÐ·Ð²Ð¸Ð¼Ð¾ÑÑÐµÐ¹ Ð² ÑÐ¼Ð°ÑÑ-ÐºÐ¾Ð½ÑÑÐ°ÐºÑÐ°Ñ.Ð ÑÐ¾Ð´Ðµ ÑÐ°Ð±Ð¾ÑÑ Ð±ÑÐ» Ð¸ÑÑÐ»ÐµÐ´Ð¾Ð²Ð°Ð½ Ð±Ð»Ð¾ÐºÑÐµÐ¹Ð½ Ð¸ ÑÐµÑÑ Ethereum. Ð¢Ð°Ðº Ð¶Ðµ ÑÐ°ÑÑÐ¼Ð¾ÑÑÐµÐ½Ð° Ð°ÑÑÐ¸ÑÐµÐºÑÑÑÐ° Ð´ÐµÑÐµÐ½ÑÑÐ°Ð»Ð¸Ð·Ð¾Ð²Ð°Ð½Ð½ÑÑ ÑÑÐ·Ð²Ð¸Ð¼Ð¾ÑÑÐµÐ¹. ÐÑÐ»Ð¸ Ð¿ÑÐ¾Ð°Ð½Ð°Ð»Ð¸Ð·Ð¸ÑÐ¾Ð²Ð°Ð½Ð½ÑÐµ ÑÑÑÐµÑÑÐ²ÑÑÑÐ¸Ðµ ÑÐµÑÐµÐ½Ð¸Ñ Ð´Ð»Ñ Ð°Ð²ÑÐ¾Ð¼Ð°ÑÐ¸Ð·Ð¸ÑÐ¾Ð²Ð°Ð½Ð½Ð¾Ð³Ð¾ Ð²ÑÑÐ²Ð»ÐµÐ½Ð¸Ñ ÑÑÐ·Ð²Ð¸Ð¼Ð¾ÑÑÐµÐ¹ Ð² ÑÐ¼Ð°ÑÑ-ÐºÐ¾Ð½ÑÑÐ°ÐºÑÐ°Ñ Ethereum.Ð ÑÐµÐ·ÑÐ»ÑÑÐ°ÑÐµ ÑÐ°Ð±Ð¾ÑÑ Ð±ÑÐ»Ð¸ ÑÐ°Ð·ÑÐ°Ð±Ð¾ÑÐ°Ð½Ñ Ð¼Ð¾Ð´ÑÐ»Ð¸ Ð´Ð»Ñ Ð¸Ð½ÑÑÑÑÐ¼ÐµÐ½ÑÐ° Ð°Ð½Ð°Ð»Ð¸Ð·Ð° ÑÑÐ·Ð²Ð¸Ð¼Ð¾ÑÑÐµÐ¹ Slither, ÐºÐ¾ÑÐ¾ÑÑÐµ ÑÐ°ÑÑÐ¸ÑÑÑÑ ÑÑÐ½ÐºÑÐ¸Ð¾Ð½Ð°Ð» Ð¿Ð¾Ð¸ÑÐºÐ° Ð¸ Ð¿Ð¾Ð·Ð²Ð¾Ð»ÑÐµÑ Ð¾Ð±Ð½Ð°ÑÑÐ¶Ð¸Ð²Ð°ÑÑ Ð½Ð¾Ð²ÑÐµ ÑÑÐ·Ð²Ð¸Ð¼Ð¾ÑÑÐ¸.ÐÐ¾Ð»ÑÑÐµÐ½Ð½ÑÐµ ÑÐµÐ·ÑÐ»ÑÑÐ°ÑÑ Ð¼Ð¾Ð³ÑÑ Ð±ÑÑÑ Ð¸ÑÐ¿Ð¾Ð»ÑÐ·Ð¾Ð²Ð°Ð½Ñ Ð² ÐºÐ°ÑÐµÑÑÐ²Ðµ Ð¾ÑÐ½Ð¾Ð²Ñ Ð´Ð»Ñ Ð²ÑÑÐ²Ð»ÐµÐ½Ð¸Ñ ÑÐ¾Ð¾ÑÐ²ÐµÑÑÑÐ²ÑÑÑÐ¸Ñ ÑÑÐ·Ð²Ð¸Ð¼Ð¾ÑÑÐµÐ¹, ÑÑÐ¾ Ð¿Ð¾Ð·Ð²Ð¾Ð»Ð¸Ñ Ð¾Ð±ÐµÑÐ¿ÐµÑÐ¸ÑÑ Ð±ÐµÐ·Ð¾Ð¿Ð°ÑÐ½Ð¾ÑÑÑ Ð´ÐµÑÐµÐ½ÑÑÐ°Ð»Ð¸Ð·Ð¾Ð²Ð°Ð½Ð½ÑÑ Ð¿ÑÐ¸Ð»Ð¾Ð¶ÐµÐ½Ð¸Ð¹ Ð² ÑÐ¼Ð°ÑÑ-ÐºÐ¾Ð½ÑÑÐ°ÐºÑÐ°Ñ.
description: The theme of the final qualifying work is Â«Securing of decentralized applications by identifying vulnerabilities in smart contractsÂ»This work is devoted to researching issues of automated vulnerability detection in smart contracts. Research object is smart contracts of Ethereum that are used in decentralized applications. Research subject is vulnerability detection methods.Â Tasks to be solved in the course of the study:Explore the technology of decentralized applications in the blockchain.Classify smart contract vulnerabilities and analyze existing solutions to identify vulnerabilities.Form a model of static vulnerability analysis.Develop software tools for automatic static search for vulnerabilities in smart contracts.In the course of the work were are investigated Blockchain and Ethereum. Decentralized vulnerability architecture is also considered. Existing solutions for automated vulnerabilities detection in Ethereum smart contracts were analysed.As a result of the work modules for Slither vulnerability analysis tool that extend search functionality and allows detect new vulnerabilities were developed.The results can be used as a basis for identifying appropriate vulnerabilities that allows realize security of decentralized applications in smart contracts.