Details

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

The final qualifying paper presents a method of improving the efficiency of fuzzing Ethereum smart contracts. The paper discusses the flaws of the existing approaches in fuzzing smart contracts, on the basis of which we propose our own method using the bee colony algorithm. The results of the experimental evaluation of the effectiveness of the developed method are presented and demonstrates increasing of the smart contracts' coverage during fuzzing and reducing the number of type 1 errors without significant increasing of type 2 errors.