Reintrarea persistă ca o clasă de vulnerabilitate critică. Variantele moderne implică logica de vizualizare recursivă, manipularea guvernanței și distorsiunea oracolului bazată pe rezervă peste granițele contractului.

Detectarea statică oferă vizibilitate limitată. Căile de execuție care implică vizualizări dependente de stare, apeluri inverse asincrone și dependențe de contract partajate necesită modelare contextuală.

Recenziile cu semnal ridicat ale Spearbit simulează comportamente recursive prin declanșatoare de rezervă și fluxuri de contracte încrucișate. Fiecare cale este urmărită cu modelarea stării atacatorului pentru a valida ipotezele și a scoate la suprafață condițiile exploatabile.

Reintrarea trebuie evaluată ca o strategie de nivel de execuție. Citiți defalcarea completă: