ゲームセマンティクスを用いた正確なスマートコントラクト脆弱性チェッカー

本論文は、ゲームセマンティクスを利用して精度と境界完全性を実現する、スマートコントラクト分析のための新しいツールYulToolkitを紹介しています。このアプローチは、コントラクトの相互作用をモデル化し、過剰な近似を回避し、リエントランシーなどの脆弱性の検出を可能にします。実際のインシデントとベンチマークコントラクトでの評価は、既知の脆弱性を特定し、その解決を確認する上での有効性を示しています。