Нужно подробно расписать как используется статический и динамический анализ (все подвиды этих анализов) в смарт-контрактах. Очень подробно с иллюстрациями разобрать пример, как произоваться символьный анализ, фаззинг, формальная верификация и промежуточное представление
Затронуть как можно больше методов анализа, которые используется для детекта уязвимостей
Полезные ссылки:
Гарантия на работу | 1 год |
Средний балл | 4.96 |
Стоимость | Назначаете сами |
Эксперт | Выбираете сами |
Уникальность работы | от 70% |