La reentrancia sigue siendo una clase de vulnerabilidad crítica. Las variantes modernas implican lógica de vista recursiva, manipulación de gobernanza y distorsión de oráculos impulsada por fallback a través de los límites de los contratos.

La detección estática proporciona visibilidad limitada. Los caminos de ejecución que involucran vistas dependientes del estado, callbacks asíncronos y dependencias de contratos compartidos requieren modelado contextual.

Las reseñas de alto nivel de Spearbit simulan comportamientos recursivos a través de disparadores de respaldo y flujos entre contratos. Cada camino se traza con modelado del estado del atacante para validar suposiciones y revelar condiciones explotables.

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