La réentrance demeure une classe de vulnérabilité critique. Les variantes modernes impliquent une logique de vue récursive, une manipulation de la gouvernance et une distorsion d'oracle pilotée par des fallback à travers les frontières des contrats.

La détection statique offre une visibilité limitée. Les chemins d'exécution impliquant des vues dépendantes de l'état, des rappels asynchrones et des dépendances de contrat partagées nécessitent une modélisation contextuelle.

Les critiques à fort signal de Spearbit simulent des comportements récursifs à travers des déclencheurs de secours et des flux inter-contrats. Chaque chemin est tracé avec une modélisation de l'état de l'attaquant pour valider les hypothèses et faire ressortir les conditions exploitables.

La réentrance doit être évaluée comme une stratégie de couche d'exécution. Lisez l'analyse complète :