ResearchBenchmarksSymbolic Execution on readelfFollow271Peak Memory (MB)Symbolon255.88357.94460562.06Jun 27, 2026Evaluation ResultsMethodMethodLinksPeak Memory (MB)Peak Memory RatioAverage Solving Time (ms)Average Solving Time RatioSymbolon2026.062712.4166321Vanilla2026.06649—53,188—