ResearchDatasetsOpenSSLOpenSSLFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsVulnerability DiscoveryOpenSSL5Confirmed Vulnerabilities7Vulnerability DetectionOpenSSL3Time (hours)4Vulnerability DetectionOpenSSL0Unique Vulnerability Count3Performance and code size impact evaluationOpenSSL2.28Speedup (%)3Symbolic Executionopenssl2,309Peak Memory (MB)2