ResearchDatasetsOpenSSLFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsVulnerability DiscoveryOpenSSL5Confirmed Vulnerabilities7Vulnerability DetectionOpenSSL3Time (hours)4Vulnerability DetectionOpenSSL0Unique Vulnerability Count3Performance and code size impact evaluationOpenSSL2.28Speedup (%)3Symbolic Executionopenssl2,309Peak Memory (MB)2