Уязвимости смарт-контрактов и анализ

Отменен
Заказ
4973151
Раздел
Программирование
Антиплагиат
Не указан
Срок сдачи
13 Окт 2022 в 23:55
Цена
Договорная
Блокировка
10 дней
Размещен
11 Окт 2022 в 21:22
Просмотров
96
Описание работы

Нужно подробно расписать как используется статический и динамический анализ (все подвиды этих анализов) в смарт-контрактах. Очень подробно с иллюстрациями разобрать пример, как произоваться символьный анализ, фаззинг, формальная верификация и промежуточное представление

Затронуть как можно больше методов анализа, которые используется для детекта уязвимостей

Полезные ссылки:

https://arxiv.org/pdf/1912.04466.pdf

Нужна такая же работа?
  • Разместите заказ
  • Выберите исполнителя
  • Получите результат
Гарантия на работу 1 год
Средний балл 4.96
Стоимость Назначаете сами
Эксперт Выбираете сами
Уникальность работы от 70%
Нужна аналогичная работа?
Оформи быстрый заказ и узнай стоимость
Гарантированные бесплатные доработки
Быстрое выполнение от 2 часов
Проверка работы на плагиат
Темы журнала
Показать ещё
Прямой эфир