Lỗ hổng tái nhập vẫn là một loại lỗ hổng quan trọng. Các biến thể hiện đại liên quan đến logic xem đệ quy, thao túng quản trị và sự biến dạng oracle dựa trên fallback qua các ranh giới hợp đồng.

Phát hiện tĩnh cung cấp khả năng hiển thị hạn chế. Các đường dẫn thực thi liên quan đến các chế độ xem phụ thuộc vào trạng thái, các callback bất đồng bộ và các phụ thuộc hợp đồng chia sẻ cần mô hình ngữ cảnh.

Đánh giá tín hiệu cao của Spearbit mô phỏng các hành vi đệ quy qua các kích hoạt dự phòng và các luồng hợp đồng chéo. Mỗi con đường được theo dõi với mô hình trạng thái kẻ tấn công để xác thực các giả định và làm nổi bật các điều kiện có thể khai thác.

Reentrancy phải được đánh giá như một chiến lược ở lớp thực thi. Đọc toàn bộ phân tích: