Re-entranties blijven een kritieke kwetsbaarheidscategorie. Moderne varianten omvatten recursieve weergavelogica, manipulatie van governance en fallback-gedreven oracle-vervorming over contractgrenzen.

Statische detectie biedt beperkte zichtbaarheid. Uitvoeringspaden die afhankelijk zijn van de status, asynchrone callbacks en gedeelde contractafhankelijkheden vereisen contextuele modellering.

De high-signal reviews van Spearbit simuleren recursieve gedragingen over fallback triggers en cross-contract flows. Elk pad wordt gevolgd met aanvaller-staat modellering om aannames te valideren en exploiteerbare voorwaarden aan het licht te brengen.

Reentrancy moet worden geëvalueerd als een strategie op de uitvoeringslaag. Lees de volledige uitleg: