Bug Detection

Benchmarks

Dataset Name	SOTA Method	Metric
OSS Projects		Crashes29	8	2mo ago
Circom Benchmarks Total - ZKAP		True Positives27	7	4mo ago
Circom Benchmarks Total - All		TP88	7	4mo ago
Circom Benchmarks Very Large - ZKAP		TP5	7	4mo ago
Circom Benchmarks Very Large - All		TP6	7	4mo ago
Circom Benchmarks Large - ZKAP		TP2	7	4mo ago
Circom Benchmarks Large All		TP17	7	4mo ago
Circom Benchmarks Medium - ZKAP		TP0	7	4mo ago
Circom Benchmarks Medium - All		TP7	7	4mo ago
Circom Benchmarks Small - ZKAP		True Positives20	7	4mo ago
Circom Benchmarks Small - All		True Positives58	7	4mo ago
Juliet Test Suite CWE416 - use after free		Detection Rate (CWE416)100	5	3mo ago
Juliet Test Suite CWE415 - double free		Detection Rate100	5	3mo ago
Juliet Test Suite CWE122 - heap-based buffer overflow		Detection Rate98.66	5	3mo ago
dropbear	SynapseFlow	Number of Harnesses9	4	16d ago
hpn-ssh	SynapseFlow	Number of Harnesses7	4	16d ago
file		Number of Harnesses8	4	16d ago
gdbm		Number of Harnesses7	4	16d ago
postfix	SynapseFlow	Number of Harnesses8	4	16d ago
kamailio	SynapseFlow	Number of Harnesses7	4	16d ago
pjsip	SynapseFlow	Number of Harnesses7	4	16d ago
jq	SynapseFlow	Number of Harnesses9	4	16d ago
xz	SynapseFlow	Number of Harnesses8	4	16d ago
libarchive	SynapseFlow	Number of Harnesses10	4	16d ago
lcms		Number of Harnesses8	4	16d ago

Showing 25 of 41 rows