再入可能性は、重大な脆弱性クラスとして存続します。 最新のバリアントには、再帰的なビュー ロジック、ガバナンス操作、コントラクト境界を越えたフォールバック駆動のオラクル歪みが含まれます。

静的検出では、可視性が制限されます。状態依存ビュー、非同期コールバック、および共有コントラクト依存関係を含む実行パスには、コンテキスト モデリングが必要です。

Spearbitのハイシグナルレビューは、フォールバックトリガーとクロスコントラクトフローの再帰的な動作をシミュレートします。各パスは、攻撃者の状態モデリングで追跡され、仮定を検証し、悪用可能な条件を明らかにします。

再入可能性は、実行レイヤー戦略として評価する必要があります。完全な内訳を読む: