ResearchBenchmarksSymbolic Execution on bashFollow14,215Peak Memory (MB)Symbolon13,583.6817,845.0922,106.526,367.91Jun 27, 2026Evaluation ResultsMethodMethodLinksPeak Memory (MB)Peak Memory RatioAvg. Solving Time (ms)Avg. Solving Time RatioSymbolon2026.0614,2152.19835.6Vanilla2026.0629,998—5,543—