A reentrância continua a ser uma classe de vulnerabilidade crítica. As variantes modernas envolvem lógica de visualização recursiva, manipulação de governança e distorção de oráculos impulsionada por fallback através das fronteiras dos contratos.

A deteção estática fornece visibilidade limitada. Os caminhos de execução que envolvem visualizações dependentes de estado, callbacks assíncronos e dependências de contratos compartilhados requerem modelagem contextual.

As análises de alto sinal da Spearbit simulam comportamentos recursivos através de gatilhos de fallback e fluxos entre contratos. Cada caminho é rastreado com modelagem de estado do atacante para validar suposições e identificar condições exploráveis.

A reentrância deve ser avaliada como uma estratégia de camada de execução. Leia a análise completa: