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

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

Высокосигнальные обзоры Spearbit моделируют рекурсивные поведения через резервные триггеры и кросс-контрактные потоки. Каждый путь отслеживается с помощью моделирования состояния атакующего для проверки предположений и выявления уязвимых условий.

Реинтернация должна оцениваться как стратегия на уровне исполнения. Читайте полный анализ: