ResearchBenchmarksAtomicity Violation Detection on ERC-721 Reent.Follow94.94PrecisionPSR²13.164834.394955.62576.8551Apr 8, 2026Evaluation ResultsMethodMethodLinksPrecisionRecallF1-scorePSR²analysis_type=semantic...analysis_type=semantic reasoning2026.0494.9489.9194.69Semgrepanalysis_type=pattern...analysis_type=pattern matching2026.0459.945.7351.86Slitheranalysis_type=static a...analysis_type=static analysis2026.0416.3121.4523.68