ResearchBenchmarksSymbolic Execution on jqFollow283Peak Memory (MB)Symbolon-593.85,324.611,24317,161.4Jun 27, 2026Evaluation ResultsMethodMethodLinksPeak Memory (MB)Peak Memory RatioAvg. Solving Time (ms)Avg. Solving Time RatioSymbolon2026.0628378.51,1952Vanilla2026.0622,203—27—