Повторний вхід зберігається як критичний клас вразливості. Сучасні варіанти включають логіку рекурсивного перегляду, маніпуляції управлінням та спотворення оракулів, кероване резервним відступом, через межі контрактів.

Статичне виявлення забезпечує обмежену видимість. Шляхи виконання, що включають залежні від стану представлення, асинхронні зворотні виклики та загальні залежності контрактів, вимагають контекстного моделювання.

Огляди високого рівня сигналу Spearbit імітують рекурсивну поведінку в резервних тригерах і потоках перехресних контрактів. Кожен шлях простежується за допомогою моделювання стану зловмисника для перевірки припущень і поверхневих умов, які можна експлуатувати.

Повторне входження має бути оцінене як стратегія на рівні виконання. Читайте повну розбивку: