La reentrada persiste como una clase de vulnerabilidad crítica. Las variantes modernas implican lógica de vista recursiva, manipulación de la gobernanza y distorsión de oráculo impulsada por reservas a través de los límites de los contratos.

La detección estática proporciona una visibilidad limitada. Las rutas de ejecución que implican vistas dependientes del estado, devoluciones de llamada asincrónicas y dependencias de contratos compartidos requieren un modelado contextual.

Las revisiones de alta señal de Spearbit simulan comportamientos recursivos en disparadores alternativos y flujos de contratos cruzados. Cada ruta se traza con el modelado del estado del atacante para validar las suposiciones y sacar a la luz las condiciones aprovechables.

La reentrada debe evaluarse como una estrategia de capa de ejecución. Lea el desglose completo: