A reentrância persiste como uma classe de vulnerabilidade crítica. As variantes modernas envolvem lógica de visão recursiva, manipulação de governança e distorção de oráculo orientada por fallback entre os limites do contrato.

A detecção estática fornece visibilidade limitada. Os caminhos de execução que envolvem exibições dependentes do estado, retornos de chamada assíncronos e dependências de contrato compartilhadas exigem modelagem contextual.

As revisões de alto sinal da Spearbit simulam comportamentos recursivos em gatilhos de fallback e fluxos de contratos cruzados. Cada caminho é rastreado com modelagem de estado de invasor para validar suposições e condições exploráveis de superfície.

A reentrância deve ser avaliada como uma estratégia de camada de execução. Leia o detalhamento completo: