Reentrancy bleibt eine kritische Schwachstelle. Moderne Varianten beinhalten rekursive Ansichtslogik, Governance-Manipulation und fallback-gesteuerte Oracle-Verzerrung über Vertragsgrenzen hinweg.

Statische Erkennung bietet eine begrenzte Sichtbarkeit. Ausführungspfade, die zustandsabhängige Ansichten, asynchrone Rückrufe und gemeinsame Vertragsabhängigkeiten beinhalten, erfordern kontextuelles Modellieren.

Die hochsignalisierten Bewertungen von Spearbit simulieren rekursive Verhaltensweisen über Fallback-Trigger und Cross-Contract-Flows. Jeder Pfad wird mit einer Angreiferzustandsmodellierung nachverfolgt, um Annahmen zu validieren und ausnutzbare Bedingungen zu identifizieren.

Reentrancy muss als Strategie auf der Ausführungsebene bewertet werden. Lesen Sie die vollständige Analyse: