ResearchDatasetsobjcopyobjcopyFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsSymbolic Executionobjcopy1,726Peak Memory (MB)2