<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>
Ð’ работе предложено иÑпользование ÑтатичеÑкого и Ñимвольного анализа Ð´Ð»Ñ Ð¾Ð±Ð½Ð°Ñ€ÑƒÐ¶ÐµÐ½Ð¸Ñ ÑƒÑзвимоÑтей в Ñмарт-контрактах. Даны общие понÑÑ‚Ð¸Ñ Ð¾ технологии блокчейн и Ñмарт-контрактах, а также проведена клаÑÑÐ¸Ñ„Ð¸ÐºÐ°Ñ†Ð¸Ñ ÑƒÑзвимоÑтей Ñмарт-контрактов. ПредÑтавлены ÑущеÑтвующие инÑтрументы безопаÑноÑти Ñмарт-контрактов. Разработаны модули Ð´Ð»Ñ Ð¸Ð½Ñтрумента ÑтатичеÑкого анализа 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.
ÐнÑеÑнеÑ, инÑÑÑÑменÑÑ ÑÑаÑиÑеÑкого анализа, ÑÑзвимоÑÑи ÑмаÑÑ-конÑÑакÑов, безопаÑноÑÑÑ ÑмаÑÑ-конÑÑакÑов, ÑмаÑÑ-конÑÑакÑÑ, блокÑейн, ÑеÑÑ ÑÑиÑиÑм, mythril, ÐÑÑиÑлиÑелÑнÑе ÑеÑи
ÐнÑеÑнеÑ, инÑÑÑÑменÑÑ ÑÑаÑиÑеÑкого анализа, ÑÑзвимоÑÑи ÑмаÑÑ-конÑÑакÑов, безопаÑноÑÑÑ ÑмаÑÑ-конÑÑакÑов, ÑмаÑÑ-конÑÑакÑÑ, блокÑейн, ÑеÑÑ ÑÑиÑиÑм, mythril, ÐÑÑиÑлиÑелÑнÑе ÑеÑи
citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |