ResearchBenchmarksSymbolic Execution on patchSymbolic Execution on patchFollow28,756Peak Memory Usage (MB)Symbolon28,622.4829,523.7430,42531,326.26Jun 27, 2026Evaluation resultsMethodMethodLinksPeak Memory Usage (MB)Peak Memory RatioAverage Solving Time (ms)Average Solving Time RatioSymbolon2026.0628,7561.15701.2Vanilla2026.0632,094—659—