When Smart Contracts Fall Through the Cracks

Upset plots effectively visualize the intersections and overlaps between contract sets in the Aggregated Benchmark and RSD datasets by displaying the number of samples per set and indicating which tools identified contracts within each intersection.

New research reveals that traditional methods for detecting reentrancy vulnerabilities in smart contracts are faltering, as Large Language Models emerge as a surprisingly effective defense.