ResearchBenchmarksSymbolic Execution on nasmFollow22,011Peak Memory (MB)Vanilla21,813.823,144.924,47625,807.1Jun 27, 2026Evaluation ResultsMethodMethodLinksPeak Memory (MB)Peak Memory RatioAvg. Solving Time (ms)Avg. Solving Time RatioVanilla2026.0622,011—10,405—Symbolon2026.0626,9418287120