ResearchBenchmarksVulnerability Detection on Cross-Chain Wild DatasetFollow128Total AlertsGoAT-X7.3638.6870101.32Apr 27, 2026Evaluation ResultsMethodMethodLinksTotal AlertsConfirmed FindingsFalse PositivesPrecisionGoAT-XCategory=TotalCategory=Total2026.041281171191GoAT-XCategory=Missing Const...Category=Missing Constraints2026.04116108893GoAT-XCategory=Constraint By...Category=Constraint Bypass2026.04129375