ResearchBenchmarksSymbolic Execution on objcopyFollow1,726Peak Memory (MB)Symbolon1,038.45,679.710,32114,962.3Jun 27, 2026Evaluation ResultsMethodMethodLinksPeak Memory (MB)Peak Memory RatioAvg. Solving Time (ms)Avg. Solving Time RatioSymbolon2026.061,726114,8241.7Vanilla2026.0618,916—8,196—