Reentrancy tetap ada sebagai kelas kerentanan kritis. Varian modern melibatkan logika pandangan rekursif, manipulasi tata kelola, dan distorsi oracle yang digerakkan oleh fallback melintasi batas kontrak.

Deteksi statis memberikan visibilitas terbatas. Jalur eksekusi yang melibatkan tampilan yang bergantung pada status, callback asinkron, dan dependensi kontrak bersama memerlukan pemodelan kontekstual.

Tinjauan sinyal tinggi Spearbit mensimulasikan perilaku rekursif di seluruh pemicu fallback dan aliran kontrak silang. Setiap jalur dilacak dengan pemodelan status penyerang untuk memvalidasi asumsi dan kondisi yang dapat dieksploitasi permukaan.

Reentrancy harus dievaluasi sebagai strategi lapisan eksekusi. Baca rincian lengkapnya: