ResearchBenchmarksSymbolic Execution on xmllintFollow444Peak Memory (MB)Symbolon-242.44,390.89,02413,657.2Jun 27, 2026Evaluation ResultsMethodMethodLinksPeak Memory (MB)Peak Memory RatioAverage Solving Time (ms)Average Solving Time RatioSymbolon2026.0644439.731159Vanilla2026.0617,604—5,011—