ResearchBenchmarksSymbolic Execution on cjpegSymbolic Execution on cjpegFollow16,362Peak Memory (MB)Symbolon16,245.3217,032.9117,820.518,608.09Jun 27, 2026Evaluation resultsMethodMethodLinksPeak Memory (MB)Peak Memory RatioAvg. Solving Time (ms)Avg. Solving Time RatioSymbolon2026.0616,3621.213,7033Vanilla2026.0619,279—41,427—