ResearchBenchmarksPerformance Evaluation on Pinlock real world programsFollow523TimeBaseline522.96523.23523.5523.77May 9, 2026Evaluation ResultsMethodMethodLinksTimeCode SizeTime OverheadCode Size OverheadBaseline2026.0552359,876——WATSON2026.0552460,4080.20.88